2328 search results - page 437 / 466 » Component Frameworks - A Case Study |
137
Voted
DFG
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
153
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
121
Voted
IJON
2007
15 years 3 months ago
2007
This perspective paper explores principles of unsupervised learning and how they relate to face recognition. Dependency coding and information maximization appear to be central pr...
181
click to vote
MP
2011
14 years 10 months ago
2011
We propose a number of techniques for obtaining a global ranking from data that may be incomplete and imbalanced — characteristics that are almost universal to modern datasets co...
160
Voted
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...