Sciweavers

3616 search results - page 381 / 724
» Conditional Memory Ordering
Sort
View
CADE
2007
Springer
16 years 4 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
199
Voted
SIGMOD
2008
ACM
143views Database» more  SIGMOD 2008»
16 years 4 months ago
XML query optimization in the presence of side effects
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
136
Voted
ICDE
2010
IEEE
226views Database» more  ICDE 2010»
16 years 3 months ago
Approximation Trade-Offs in Markovian Stream Processing: An Empirical Study
Abstract-- A large amount of the world's data is both sequential and imprecise. Such data is commonly modeled as Markovian streams; examples include words/sentences inferred f...
Julie Letchner, Christopher Re, Magdalena Balazins...
128
Voted
PERCOM
2005
ACM
16 years 3 months ago
Cooperative Packet Forwarding in Multi-Domain Sensor Networks
Sensor networks are large scale networks of low-power devices that collaborate in order to perform a given task. The sensors are limited in battery energy, capacity and computatio...
Márk Félegyházi, Jean-Pierre ...
127
Voted
EWSN
2006
Springer
16 years 3 months ago
Constrained Tracking on a Road Network
Many applications of wireless ad hoc sensor and actuator networks (WSANs) rely on the knowledge of node locations. These are challenging to obtain when nodes are mobile and are not...
Matthias Grossglauser, Michal Piórkowski