Sciweavers

5247 search results - page 332 / 1050
» The Generalized A* Architecture
Sort
View
UIST
2000
ACM
15 years 12 months ago
SATIN: a toolkit for informal ink-based applications
Software support for making effective pen-based applications is currently rudimentary. To facilitate the creation of such applications, we have developed SATIN, a Java-based toolk...
Jason I. Hong, James A. Landay
ISADS
1999
IEEE
15 years 12 months ago
Distributed Component-based Tailorability for CSCW Applications
Tailorability is generally regarded as a key property of groupware systems due to the dynamics and diversity of cooperative work. This article investigates the use of software com...
Oliver Stiemerling, Ralph Hinken, Armin B. Cremers
CONTEXT
1999
Springer
15 years 12 months ago
Dynamics and Automaticity of Context: A Cognitive Modeling Approach
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
Boicho N. Kokinov
CODES
1998
IEEE
15 years 12 months ago
Communication synthesis and HW/SW integration for embedded system design
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...
Guy Gogniat, Michel Auguin, Luc Bianco, Alain Pega...
DAC
1998
ACM
15 years 11 months ago
Approximate Reachability with BDDs Using Overlapping Projections
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
Shankar G. Govindaraju, David L. Dill, Alan J. Hu,...