Sciweavers

2393 search results - page 207 / 479
» Fuzzy-UCS: preliminary results
Sort
View
ATAL
2008
Springer
15 years 8 months ago
iCat: an affective game buddy based on anticipatory mechanisms
In this paper, we study the role of emotions and expressive behaviour in socially interactive characters employed in educational games. More specifically, on how we can use such e...
Iolanda Leite, Carlos Martinho, André Perei...
CAV
2008
Springer
161views Hardware» more  CAV 2008»
15 years 8 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari
143
Voted
CCS
2008
ACM
15 years 8 months ago
Using rhythmic nonces for puzzle-based DoS resistance
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...
Ellick Chan, Carl A. Gunter, Sonia Jahid, Evgeni P...
CIKM
2008
Springer
15 years 8 months ago
Energy-efficient skyline query processing and maintenance in sensor networks
The skyline query, as an important operator in databases for multi-preference analysis and decision making, has received much attention recently due to its wide application backgr...
Weifa Liang, Baichen Chen, Jeffrey Xu Yu
DASC
2006
IEEE
15 years 8 months ago
Autonomic Sensor Networks: A New Paradigm for Collaborative Information Processing
Wireless Sensor Networks (WSNs) are severely constrained in computation and communication capabilities due to the cost and size of available sensors. On the other hand, autonomic ...
Hui Kang, Xiaolin Li, Patrick J. Moran