745 search results - page 133 / 149 » Towards a Formal Approach for Object Database Design |
162
click to vote
GIS
2009
ACM
2009
ACM
Web 2.0 Geospatial Visual Analytics for Improved Urban Flooding Situational Awareness and Assessment
15 years 11 months ago
Situational awareness of urban flooding during storm events is important for disaster and emergency management. However, no general purpose tools yet exist for rendering rainfall ...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
AISC
1998
Springer
15 years 2 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
IJCAI
1993
14 years 11 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
ER
2003
Springer
15 years 3 months ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...