4150 search results - page 640 / 830 » A Practical Approach to Model Extension |
145
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
151
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
114
click to vote
AAAI
2008
15 years 6 months ago
2008
We consider the problem of grasping novel objects in cluttered environments. If a full 3-d model of the scene were available, one could use the model to estimate the stability and...
139
Voted
WSC
2008
15 years 6 months ago
2008
In this paper we present SR-1, a simulation-based heuristic algorithm for the Capacitated Vehicle Routing Problem (CVRP). Given a CVRP instance, SR-1 uses an initial "good so...
135
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...