360 search results - page 31 / 72 » A Method for the Verification of Haptic Algorithms |
177
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
DAGSTUHL
2006
14 years 11 months ago
2006
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
FORTE
1990
14 years 11 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
JMM2
2006
14 years 10 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...