3284 search results - page 287 / 657 » On the modularity of feature interactions |
166
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper reports on issues related to the use of mobile phones by older people. This study uses triangulation, a mixed method of qualitative (focus group discussions) and quanti...
176
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
The use of context as an input is one of the major characteristics of Ubiquitous Computing systems. This paper looks into the structural and the systematic features of context in ...
198
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
168
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...
172
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses high-level robot planning issues for an interactive cognitive robot that has to act in presence or in collaboration with a human partner. We describe a tas...