612 search results - page 110 / 123 » Bounded model checking for knowledge and real time |
AAAI
2008
14 years 12 months ago
2008
Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilin...
WCE
2007
14 years 10 months ago
2007
—Moving object detection is very important for video surveillance. In this paper, we present a new real time motion detection algorithm that is based on the integration of accumu...
IUI
2009
ACM
15 years 6 months ago
2009
ACM
The TaskTracer system allows knowledge workers to define a set of activities that characterize their desktop work. It then associates with each user-defined activity the set of ...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Planning how to interact against bounded memory and unbounded memory learning opponents needs different treatment. Thus far, however, work in this area has shown how to design pla...
104
click to vote
POPL
2011
ACM
14 years 14 days ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...