3856 search results - page 174 / 772 » Models for Automated Earthmoving |
212
Voted
CSL
2011
Springer
15 years 2 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
202
Voted
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
183
Voted
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
155
click to vote
ITC
2003
IEEE
16 years 9 days ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
178
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...