5804 search results - page 103 / 1161 » Doing more with less |
159
Voted
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
160
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
159
click to vote
BCSHCI
2009
15 years 7 months ago
2009
Personal robots and screen agents can be equipped with social abilities to facilitate interaction. This paper describes our research on the influence of these abilities on elderly...
135
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
We describe a "constant pace" framework for video summarization via fast playback or temporal subsampling. The pace of the summary serves as a parameter that enables pro...
133
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Large high-resolution screens are becoming increasingly available and less expensive. This creates potential advantages for data visualization in that more dense data and fine det...