419 search results - page 36 / 84 » Automatic Synthesis of Real Time Systems |
138
click to vote
GRAPHICSINTERFACE
2000
15 years 5 months ago
2000
With the advent of image based modeling techniques, it becomes easier to apply textures extracted from reality onto virtual worlds. Many repetitive patterns (structural textures) ...
166
click to vote
SI3D
2012
ACM
13 years 11 months ago
2012
ACM
We synthesize natural-looking locomotion, reaching and grasping for a virtual character in order to accomplish a wide range of movement and manipulation tasks in real time. Our vi...
276
click to vote
TOG
2012
13 years 6 months ago
2012
Capturing human activities that involve both gross full-body motion and detailed hand manipulation of objects is challenging for standard motion capture systems. We introduce a ne...
150
click to vote
ASE
2002
15 years 3 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
116
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...