3082 search results - page 333 / 617 » Deviation Analysis: A New Use of Model Checking |
202
click to vote
IPCV
2010
15 years 4 months ago
2010
- Conventional video games are controlled by players via physical game controllers. A new emerging trend for game control in recent years is to use intelligent sensor based interfa...
220
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
184
click to vote
MI
1993
15 years 8 months ago
1993
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...
162
click to vote
ICMCS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a method to improve the performance of face retrieval in news videos by using the relevant-set correlation (RSC) clustering model. In this method, faces of a person are...
156
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...