2638 search results - page 427 / 528 » A Framework for Automatic Debugging |
119
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
105
click to vote
FPL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...
115
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
We present a deblurring algorithm that uses a hardware attachment coupled with a natural image prior to deblur images from consumer cameras. Our approach uses a combination of ine...
124
Voted
SIGGRAPH
2010
ACM
15 years 6 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...
ICOIN
2001
Springer
15 years 6 months ago
2001
Springer
Mobile Computing platforms such as mobile phones, PDAs or wearable computers operate in a much more volatile and limited environment than their stationary counterparts. Such platf...