183 search results - page 25 / 37 » Reachability analysis of generalized polygonal hybrid system... |
SIGIR
2006
ACM
14 years 1 months ago
2006
ACM
We present a new family of hybrid index maintenance strategies to be used in on-line index construction for monotonically growing text collections. These new strategies improve up...
CAV
1999
Springer
13 years 12 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
CVPR
2006
IEEE
13 years 11 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...