1810 search results - page 264 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
155
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
147
click to vote
RECOMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Emerging research demonstrates the potential of proteinprotein interaction (PPI) networks in uncovering the mechanistic bases of cancers, through identification of intera...
169
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
188
click to vote
MODELS
2009
Springer
16 years 28 days ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
178
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— This paper develops an approach for on-line segmentation of whole body human motion patterns during human motion observation and learning. A Hidden Markov Model is used...