Sciweavers

4163 search results - page 364 / 833
» A comprehensive combination framework
Sort
View
CHI
1994
ACM
15 years 10 months ago
Observing users in multimodal interaction
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
Daniel Salber
CCIA
2006
Springer
15 years 10 months ago
Tactical modularity for evolutionary animats
In this paper, we use a massive modular architecture for the generation of complex behaviours in complex robots within the evolutionary robotics framework. We define two different ...
Ricardo A. Téllez, Cecilio Angulo
ESA
2006
Springer
113views Algorithms» more  ESA 2006»
15 years 10 months ago
An LP-Designed Algorithm for Constraint Satisfaction
The class Max (r, 2)-CSP consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m binary clauses, we presen...
Alexander D. Scott, Gregory B. Sorkin
FMCAD
2000
Springer
15 years 10 months ago
A Methodology for Large-Scale Hardware Verification
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
Mark Aagaard, Robert B. Jones, Thomas F. Melham, J...
COOPIS
1995
IEEE
15 years 10 months ago
From Organization Models to System Requirements: A 'Cooperating Agents' Approach
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John...