4491 search results - page 372 / 899 » Algorithm Engineering |
134
Voted
ICIAP
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
116
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
137
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
125
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
Current interactions on direct-touch interactive surfaces are often modeled based on properties of the input channel that are common in traditional graphical user interfaces (GUI)...
127
Voted
UIST
2009
ACM
15 years 10 months ago
2009
ACM
We explore the use of modern recommender system technology to address the problem of learning software applications. Before describing our new command recommender system, we first...