16606 search results - page 86 / 3322 » Context Modeling: Task Model and Practice Model |
132
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
117
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
139
click to vote
AIPS
1996
15 years 4 months ago
1996
Mostexisting decision-theoretic planners represent uncertainty about the state of the world with a precisely specified probability distribution over world states. This representat...
120
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Object class detection in scenes of realistic complexity remains a challenging task in computer vision. Most recent approaches focus on a single and general model for object class...
128
Voted
COLING
2010
14 years 10 months ago
2010
We present a new reordering model estimated as a standard n-gram language model with units built from morphosyntactic information of the source and target languages. It can be see...