2446 search results - page 221 / 490 » First Smart Spaces |
231
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
In this paper we investigate algorithms and lower bounds for summarization problems over a single pass data stream. In particular we focus on histogram construction and K-center c...
120
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
Wireless access with mobile devices is a promising addition to the WWW and traditional electronic business. Mobile devices provide convenience and portable access to the huge info...
266
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
We propose two new asynchronous algorithms for solving Distributed Constraint Satisfaction Problems (DisCSPs). The first algorithm, AFC-ng, is a nogood-based version of Asynchronou...
136
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
129
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We outline initial investigations into how choices of spatial configuration, input devices and display technologies influence action and interaction in hybrid electronic and physi...