Sciweavers

2917 search results - page 283 / 584
» Satisfying Interaction Constraints
Sort
View
175
Voted
NORDICHI
2004
ACM
16 years 3 days ago
Wolves, football, and ambient computing: facilitating collaboration in problem solving systems through the study of human and an
This paper describes how computer-human interaction in ambient computing environments can be best informed by conceptualizing of such environments as problem solving systems. Typi...
David W. Eccles, Paul T. Groth
189
Voted
ECCV
2004
Springer
16 years 8 months ago
A Closed-Form Solution to Non-rigid Shape and Motion Recovery
Recovery of three dimensional (3D) shape and motion of non-static scenes from a monocular video sequence is important for applications like robot navigation and human computer inte...
Jing Xiao, Jinxiang Chai, Takeo Kanade
ICSE
2011
IEEE-ACM
14 years 10 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
ICLP
2005
Springer
16 years 6 days ago
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
Henning Christiansen, Verónica Dahl
SIGGRAPH
1996
ACM
15 years 10 months ago
Linear-Time Dynamics Using Lagrange Multipliers
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
David Baraff