8 search results - page 2 / 2 » Automated Reasoning in Differential Geometry and Mechanics U... |
ICCBR
1995
Springer
13 years 8 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
GIS
2004
ACM
14 years 6 months ago
2004
ACM
Sensor networks are unattended deeply distributed systems whose schema can be conceptualized using the relational model. Aggregation queries on the data sampled at each ode are th...
PPDP
2005
Springer
13 years 10 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....