4609 search results - page 660 / 922 » Automatic Generation of Sigma-Protocols |
184
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a video-based motion modeling technique for generating physically realistic human motion from monocular video sequences. We formulate the video-based motion mo...
162
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
164
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a brief overview of an algorithm for interactively animating object grasping and manipulation tasks for human figures. The technique is designed to efficiently genera...
175
click to vote
DAC
2000
ACM
15 years 11 months ago
2000
ACM
Datapath design is one of the most critical elements in the design of a high performance microprocessor. However datapath design is typically done manually, and is often custom st...
148
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
CardioWave is a modular system for simulating wavefront conduction in the heart. These simulations may be used to investigate the factors that generate and sustain life-threatenin...