1116 search results - page 90 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract Where feature points are used in real-time frame-rate applications, a high-speed feature detector is necessary. Feature detectors such as SIFT (DoG), Harris and SUSAN are ...
GI
2007
Springer
15 years 5 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
105
click to vote
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
COMPSAC
1998
IEEE
15 years 3 months ago
1998
IEEE
Protection is an essential issue for the kind of heterogeneous distributed interoperable object environments, which Java and CORBA are a glimpse of. A uniform protection mechanism...