3593 search results - page 368 / 719 » A Generative Model Based Approach to Motion Segmentation |
177
click to vote
VLSID
2010
IEEE
15 years 2 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
174
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Virtual Actors are at the heart of Interactive Storytelling systems and in recent years multiple approaches have been described to specify their autonomous behaviour. One well kno...
132
click to vote
FORTEST
2008
15 years 6 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
165
click to vote
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
130
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...