Sciweavers

1768 search results - page 252 / 354
» A Logic for Algebraic Effects
Sort
View
TIME
2009
IEEE
16 years 1 months ago
Preserving Anonymity of Recurrent Location-Based Queries
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
Daniele Riboni, Linda Pareschi, Claudio Bettini, S...
DSD
2008
IEEE
136views Hardware» more  DSD 2008»
16 years 1 months ago
Network Interface Sharing Techniques for Area Optimized NoC Architectures
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...
Alberto Ferrante, Simone Medardoni, Davide Bertozz...
DSN
2008
IEEE
16 years 1 months ago
A characterization of instruction-level error derating and its implications for error detection
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
Jeffrey J. Cook, Craig B. Zilles
ICALT
2008
IEEE
16 years 1 months ago
A Framework for Semantic Group Formation
Collaboration has long been considered an effective approach to learning. However, forming optimal groups can be a time consuming and complex task. Different approaches have been ...
Asma Ounnas, Hugh C. Davis, David E. Millard
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti