Sciweavers

607 search results - page 32 / 122
» Demonstrating the viability of automatically generated user ...
Sort
View
CSREAPSC
2006
13 years 9 months ago
Mobile Access to Web Systems Using a Multi-device Interface Design Approach
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
Rodrigo de Oliveira, Heloisa Vieira da Rocha

Publication
196views
14 years 7 months ago
Facial Expression Recognition As a Creative Interface
We present an audiovisual creativity tool that automatically recognizes facial expressions in real time, producing sounds in combination with images. The facial expression recognit...
Alejandro Jaimes, Nicu Sebe, Roberto Valenti
AIWORC
2000
IEEE
14 years 10 days ago
Building Flexible Mobile Applications for Next Generation Enterprises
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...
Karun Karunanithi, Khurram Haneef, Bruno Cordioli,...
FROCOS
2011
Springer
12 years 7 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
CHI
2006
ACM
14 years 8 months ago
Generating automated predictions of behavior strategically adapted to specific performance objectives
It has been well established in Cognitive Psychology that humans are able to strategically adapt performance, even highly skilled performance, to meet explicit task goals such as ...
Katherine Eng, Richard L. Lewis, Irene Tollinger, ...