Sciweavers

826 search results - page 125 / 166
» Resolving Concurrent Interactions
Sort
View
140
Voted
AGP
1996
IEEE
15 years 6 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
150
Voted
UIST
1993
ACM
15 years 6 months ago
Model-based User Interface Design by Example and by Interview
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
Martin R. Frank, James D. Foley
HAPTICS
2010
IEEE
15 years 4 months ago
A Multi-functional Rehabilitation Device to Assist Forearm/Wrist and Grasp Therapies
—We present a novel physical rehabilitation device for forearm/wrist and grasp therapy of a neurologically injured human arm and hand. Emphasizing the importance of coordinated m...
Ismail Hakan Ertas, Volkan Patoglu
135
Voted
CODES
2008
IEEE
15 years 4 months ago
Software optimization for MPSoC: a mpeg-2 decoder case study
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
Eric Cheung, Harry Hsieh, Felice Balarin
101
Voted
CONNECTION
2008
109views more  CONNECTION 2008»
15 years 2 months ago
Object schemas for grounding language in a responsive robot
We introduce an approach for physically-grounded natural language interpretation by robots which reacts appropriately to unanticipated physical changes in the environment and dyna...
Kai-yuh Hsiao, Stefanie Tellex, Soroush Vosoughi, ...