Sciweavers

840 search results - page 84 / 168
» Adaptive Human-Robot Interaction System using Interactive EC
Sort
View
123
Voted
CHI
2008
ACM
15 years 5 months ago
Implicit user-adaptive system engagement in speech and pen interfaces
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...
Sharon L. Oviatt, Colin Swindells, Alexander M. Ar...
123
Voted
CIMCA
2008
IEEE
15 years 10 months ago
Novel Cardiac Risk Factor Stratification Using Neuro-fuzzy Tool
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
Elahe Yargholi, Saman Parvaneh
149
Voted
GRAPHICSINTERFACE
1996
15 years 5 months ago
Painting Gradients: Free-form Surface Design Using Shading Patterns
An interactive system for designing curved surfaces is proposed which is based on direct manipulation of a single-view shaded image of this surface. Apart from functions like carv...
Cornelius W. A. M. van Overveld
115
Voted
RSP
2006
IEEE
15 years 9 months ago
Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
Daniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane La...
124
Voted
FROCOS
2009
Springer
15 years 10 months ago
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
Stéphane Lescuyer, Sylvain Conchon