Results for:
"
Antonio+Donghi
" in Documents
- A Vision Agent for Robotics Implementation on a SIMD Machine 2002
- An artificial high-level vision agent for the localisation and description of the movements of the SPIDER robot arm of the EUROPA/PAT systems during its operations is presented. The agent uses real-ti...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- A Vision Agent for Robotics Implementation on a SIMD Machine 2002
- An artificial high-level vision agent for the localisation and description of the movements of the SPIDER robot arm of the EUROPA/PAT systems during its operations is presented. The agent uses real-ti...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 15-05-09
- A Computational Study of Cost Reoptimization for Min Cost Flow Problem...
- In the last two decades, a number of algorithms for the linear single-commodity Min Cost Flow problem (MCF) have been proposed, and several efficient codes are available that implement different varia...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 15-05-09
- A Computational Study of Cost Reoptimization for Min Cost Flow Problem...
- In the last two decades, a number of algorithms for the linear single-commodity Min Cost Flow problem (MCF) have been proposed, and several efficient codes are available that implement different varia...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- A Computational Study of Cost Reoptimization for Min Cost Flow Problem...
- In the last two decades, a number of algorithms for the linear single-commodity Min Cost Flow problem (MCF) have been proposed, and several efficient codes are available that implement different varia...
-
Rating:
Views: (1032)
Pages: ()
Uploaded: 15-05-09
- Mechanically Verifying Real-Valued Algorithms in ACL2 1999 12 citation...
- vi List of Tables x Chapter 1 Introduction 1 1.1 Related Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.2 Outline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Degrees of Parallelism in the Continuous Type Hierarchy 1995 4 citatio...
- A degree of parallelism is an equivalence class of Scott-continuous functions which are relatively definable each other with respect to the language PCF (a paradigmatic sequential language). We introd...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Event Structures Representing Domains with Coherence 1995
- We present two cartesian closed subcategories of dIC, the category of dI domains with coherence and strongly stable maps introduced in [2, 3] to provide an extensional and "sequential" model of PCF ([...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09