Sciweavers

7811 search results - page 20 / 1563
» computer 2004
Sort
View
167
Voted
ADG
2004
Springer
101views Mathematics» more  ADG 2004»
16 years 25 days ago
Mechanical Theorem Proving in Computational Geometry
Laura I. Meikle, Jacques D. Fleuriot
ATAL
2004
Springer
16 years 24 days ago
Pattern Formation in Mobile Computational Particles with Minimal Capabilities
Matteo Vasirani, Marco Mamei, Franco Zambonelli
148
Voted
CP
2004
Springer
16 years 24 days ago
On-Demand Bound Computation for Best-First Constraint Optimization
Martin Sachenbacher, Brian C. Williams