Sciweavers

2374 search results - page 288 / 475
» Automatic Generation of Model Translations
Sort
View
CW
2008
IEEE
16 years 1 months ago
Keyframe Based Video Object Deformation
—This paper proposes a keyframe-based video object editing scheme for automatic object shape deformation. Except for object segmentation, several technologies are developed in th...
Yanlin Weng, Weiwei Xu, Shichao Hu, Jun Zhang, Bai...
CHI
2000
ACM
15 years 11 months ago
Agents to assist in finding help
When a novice needs help, often the best solution is to find a human expert who is capable of answering the novice’s questions. But often, novices have difficulty characterizing...
Adriana Santarosa Vivacqua, Henry Lieberman
CONSTRAINTS
2010
153views more  CONSTRAINTS 2010»
15 years 3 months ago
Philosophy of the MiniZinc challenge
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
Peter J. Stuckey, Ralph Becket, Julien Fischer
EMSOFT
2008
Springer
15 years 8 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
FASE
2007
Springer
16 years 20 days ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp