Sciweavers

2765 search results - page 255 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ICRA
2000
IEEE
125views Robotics» more  ICRA 2000»
15 years 11 months ago
Force-Based Motion Editing for Locomotion Tasks
This paper describes a fast technique for modifying motion sequences for complex articulated mechanisms in a way that preserves physical properties of the motion. This technique i...
Nancy S. Pollard, Fareed Behmaram-Mosavat
JVCIR
2007
157views more  JVCIR 2007»
15 years 6 months ago
Position based dynamics
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
Matthias Müller, Bruno Heidelberger, Marcus H...
HICSS
1998
IEEE
158views Biometrics» more  HICSS 1998»
15 years 11 months ago
Accountability Centered Approach to Business Process Reengineering
In this paper, Accountability Centered Approach (ACA) is proposed for business process engineering. The ACA approach enables the designers and users to focus on the requirements a...
Mitchell M. Tseng, Chuan-Jun Su, Ma Qinhai
PLDI
2000
ACM
15 years 11 months ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
PPDP
2009
Springer
16 years 1 months ago
A declarative encoding of telecommunications feature subscription in SAT
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
Michael Codish, Samir Genaim, Peter J. Stuckey