9888 search results - page 203 / 1978 » compute 2009 |
200
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
227
click to vote
CISIS
2009
IEEE
16 years 2 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
194
click to vote
PODC
2009
ACM
15 years 12 months ago
2009
ACM
We present DRR-gossip, an energy-efficient and robust aggregate computation algorithm in wireless sensor networks. We prove that the DRR-gossip algorithm requires O(n) messages a...
180
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This paper illustrates the future role of mobile computing for the response in emergencies and mass casualty incidents (MCIs). Furthermore it describes the different components a...
221
click to vote
HCI
2009
15 years 5 months ago
2009
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...