670 search results - page 96 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
119
Voted
AAAI
2007
15 years 2 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
119
Voted
SIGIR
2003
ACM
15 years 5 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
128
Voted
LSSC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
97
Voted
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
Concept Maps constitute one of the tools mostly used in learning management due to the possibility that they offer to contextualize learning, share knowledge and for learning to le...
130
click to vote
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...