Sciweavers

3116 search results - page 93 / 624
» Positively dependent types
Sort
View
JOIN
2006
113views more  JOIN 2006»
15 years 4 months ago
Local Detection of Selfish Routing Behavior in Ad Hoc Networks
Reputation mechanisms for detecting and punishing free-riders in ad hoc networks depend on the local detection of selfish behavior. Although naive selfish strategies based on drop...
Bo Wang 0001, Sohraab Soltani, Jonathan K. Shapiro...
SMC
2010
IEEE
193views Control Systems» more  SMC 2010»
15 years 1 months ago
A cooperative approach for handshake detection based on body sensor networks
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
Antonio Augimeri, Giancarlo Fortino, Manoj R. Rege...
ICPR
2006
IEEE
16 years 5 months ago
Activity Discovery from Surveillance Videos
Multi-agent interactions often result in mutual occlusion sequences which constitute a visual signature for the event. We define six qualitative occlusion primitives based on the ...
Amitabha Mukerjee, K. S. Venkatesh, Pabitra Mitra,...
STOC
2009
ACM
106views Algorithms» more  STOC 2009»
16 years 4 months ago
On proximity oblivious testing
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...
Oded Goldreich, Dana Ron
CHI
1997
ACM
15 years 8 months ago
The Cognitive Ergonomics of Knowledge-Based Design Support Systems
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
Tamara Sumner, Nathalie Bonnardel, Benedikte Harst...