9359 search results - page 594 / 1872 » Generalization Algorithms for Second-Order Terms |
197
click to vote
MDM
2005
Springer
16 years 16 days ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...
199
click to vote
NOSSDAV
2005
Springer
16 years 16 days ago
2005
Springer
Cheating in on-line games is a prevalent problem for both game makers and players. The popular real-time strategy game genre is especially vulnerable to cheats, as it is frequentl...
177
click to vote
PPDP
2005
Springer
16 years 16 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
170
click to vote
SIGADA
2005
Springer
16 years 16 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
159
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
We propose an enhanced mechanism for selecting partners for multi-attribute negotiation. The mechanism employs possibilistic case-based reasoning. The possibility of successful ne...