1547 search results - page 171 / 310 » The Isabelle Collections Framework |
88
Voted
CONNECTION
2004
15 years 20 days ago
2004
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
119
Voted
APIN
2000
15 years 19 days ago
2000
Abstract. In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the "justified" ECA rules to captu...
77
Voted
CORR
2002
Springer
15 years 19 days ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
100
Voted
IVC
2002
15 years 14 days ago
2002
Camera systems with zoom lenses are inherently more useful than those with passive lenses due to their flexibility and controllability. However, their calibration raises several c...
104
Voted
PVLDB
2008
15 years 8 days ago
2008
Many applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. The key co...