9329 search results - page 504 / 1866 » Feature interaction networks |
204
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...
170
Voted
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...
177
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...
157
Voted
IUI
2005
ACM
16 years 13 days ago
2005
ACM
The paper presents a first prototype of a handheld museum guide delivering contextualized information based on the recognition of drawing details selected by the user through the ...
152
Voted
MHCI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....