Sciweavers

7536 search results - page 1261 / 1508
» The CLEAR 2007 Evaluation
Sort
View
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
16 years 21 days ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
TARK
2007
Springer
16 years 21 days ago
The computational complexity of choice sets
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
Felix Brandt, Felix A. Fischer, Paul Harrenstein
UCS
2007
Springer
16 years 21 days ago
Activity Recognition Based on Intra and Extra Manipulation of Everyday Objects
Recognizing activities based on an actor’s interaction with everyday objects is an important research approach within ubiquitous computing. We present a recognition approach whic...
Dipak Surie, Fabien Lagriffoul, Thomas Pederson, D...
UCS
2007
Springer
16 years 21 days ago
Compact Data Format for Advertising and Discovery in Ubiquitous Networks
In this paper, we describe a packet data size minimization method designed specifically for advertising and discovery in ubiquitous networks. The minimization is effective for achi...
Pavel Poupyrev, Yoshihiro Kawahara, Peter Davis, H...
UIC
2007
Springer
16 years 21 days ago
A Lightweight Scheme for Node Scheduling in Wireless Sensor Networks
Abstract. The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the l...
Ming Liu, Yuan Zheng, Jiannong Cao, Wei Lou, Guiha...
« Prev « First page 1261 / 1508 Last » Next »