4609 search results - page 149 / 922 » Automatic Generation of Sigma-Protocols |
200
click to vote
NIPS
2007
15 years 7 months ago
2007
Estimation of three-dimensional articulated human pose and motion from images is a central problem in computer vision. Much of the previous work has been limited by the use of cru...
188
click to vote
PC
2006
15 years 6 months ago
2006
Tiling is a well known loop transformation used to reduce communication overhead in distributed memory machines. Although a lot of theoretical research has been done concerning th...
158
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
171
click to vote
NAACL
2001
15 years 7 months ago
2001
In automatic speech recognition (ASR) enabled applications for medical dictations, corpora of literal transcriptions of speech are critical for training both speaker independent a...
159
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...