1818 search results - page 327 / 364 » Granularity-Adaptive Proof Presentation |
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. In this area, one of the central questions for the various pro...
DCOSS
2007
Springer
14 years 2 months ago
2007
Springer
In self-organizing networks of battery-powered wireless sensors that can sense, process, and communicate, energy is the most crucial and scarce resource. However, since sensor netw...
EGOV
2007
Springer
14 years 2 months ago
2007
Springer
The EU is currently modernizing customs legislation and practices. Main pillars in the new vision are an intensive use of IT (Customs becomes eCustoms), partnerships between Custom...
ER
2007
Springer
14 years 2 months ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
FMCO
2007
Springer
14 years 2 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...