3856 search results - page 255 / 772 » Models for Automated Earthmoving |
159
Voted
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
173
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
181
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
166
Voted
AAAI
2007
15 years 9 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
145
click to vote
AAAI
2007
15 years 9 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...