3856 search results - page 326 / 772 » Models for Automated Earthmoving |
154
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
188
click to vote
ILP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
189
click to vote
SIGSOFT
2003
ACM
16 years 18 hour ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
182
click to vote
ER
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The next phase envisioned for the World Wide Web is automated ad-hoc interaction between intelligent agents, web services, databases and semantic web enabled applications...
185
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...