Sciweavers

5055 search results - page 676 / 1011
» Relative Timing
Sort
View
SEMWEB
2005
Springer
16 years 7 days ago
Ontology Based Analysis of Experimental Data
We address the problem of linking observations from reality to a semantic web based knowledge base. Concepts in the biological domain are increasingly being formalized through ont...
Andrea Splendiani
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
16 years 7 days ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
STACS
2005
Springer
16 years 7 days ago
Roundings Respecting Hard Constraints
We provide a deterministic algorithm that constructs small point sets exhibiting a low star discrepancy. The algorithm is based on recent results on randomized roundings respectin...
Benjamin Doerr
TLCA
2005
Springer
16 years 7 days ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
VLDB
2005
ACM
151views Database» more  VLDB 2005»
16 years 7 days ago
On Map-Matching Vehicle Tracking Data
Vehicle tracking data is an essential “raw” material for a broad range of applications such as traffic management and control, routing, and navigation. An important issue with...
Sotiris Brakatsoulas, Dieter Pfoser, Randall Salas...