Sciweavers

628 search results - page 3 / 126
» Constraint-based motion adaptation
Sort
View
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 3 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
CSCLP
2008
Springer
15 years 1 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
106
Voted
AAAI
1997
15 years 29 days ago
Case and Constraint-Based Apartment Construction Project Planning System: FASTrak-APT
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
Kyoung Jun Lee, Hyun Woo Kim, Jae Kyu Lee, Tae Hwa...
89
Voted
CGF
2008
92views more  CGF 2008»
14 years 11 months ago
Smart Motion Synthesis
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
Masaki Oshita
ICIP
1997
IEEE
16 years 1 months ago
An adaptive interpolation scheme for 2-D mesh motion compensation
Two dimensional mesh motion compensation produces blocking free prediction in contrast to block matching motion compensation by generating a smooth full motion field from the set ...
Pohsiang Hsu, K. J. Ray Liu, Tsuhan Chen