319 search results - page 13 / 64 » Improved Model Checking of Hierarchical Systems |
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
EMNLP
2008
13 years 11 months ago
2008
While phrase-based statistical machine translation systems currently deliver state-of-theart performance, they remain weak on word order changes. Current phrase reordering models ...
AI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We use a hierarchical Bayesian approach to model user preferences in different contexts or settings. Unlike many previous recommenders, our approach is content-based. We...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
IRI
2008
IEEE
14 years 4 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...