5216 search results - page 920 / 1044 » Planning as Model Checking |
130
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Fitts' law, Steering law and Law of crossing, collectively known as the laws of action, model the speed-accuracy tradeoffs in common HCI tasks. These laws impose a certain sp...
204
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
In distributed stream processing environments, large numbers of continuous queries are distributed onto multiple servers. When one or more of these servers become overloaded due t...
219
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...
161
click to vote
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
115
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...