5401 search results - page 284 / 1081 » Using Versions in GIS |
158
click to vote
ADBIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. One of the areas of data integration covers systems that maintain coherence among a heterogeneous set of databases. Such a system repeatedly collects data from the local ...
165
click to vote
ERLANG
2004
ACM
16 years 1 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
156
click to vote
AMAI
2004
Springer
16 years 23 hour ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
177
click to vote
DSN
2003
IEEE
15 years 12 months ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
134
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...