4513 search results - page 645 / 903 » Modeling with a Sense of Purpose |
178
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
168
click to vote
CUZA
2002
15 years 6 months ago
2002
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
204
click to vote
IJCV
2007
15 years 6 months ago
2007
Building a spatially consistent model is a key functionality to endow a mobile robot with autonomy. Without an initial map or an absolute localization means, it requires to concurr...
174
click to vote
CAD
1998
Springer
15 years 6 months ago
1998
Springer
The goal of this paper is to bring together the worlds of design and active databases. Design databases have to provide a powerful data model for complex structured design data as ...
186
click to vote
TPDS
2002
15 years 6 months ago
2002
Speculative prefetching has been proposed to improve the response time of network access. Previous studies in speculative prefetching focus on building and evaluating access models...