4679 search results - page 480 / 936 » The Timely Computing Base Model and Architecture |
168
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
281
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
142
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
: Locomotion and navigation of a surface walking/climbing robot – Planar Walker, based on a novel planar 8-bar mechanism are studied. The robot moves on a surface through decoupl...
188
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
194
click to vote
EMMCVPR
2005
Springer
16 years 12 days ago
2005
Springer
This contribution proposes a compositionality architecture for visual object categorization, i.e., learning and recognizing multiple visual object classes in unsegmented, cluttered...