5244 search results - page 258 / 1049 » Structural Complexity of AvgBPP |
149
click to vote
FM
2009
Springer
16 years 18 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
121
Voted
IFM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
182
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a new technique that improves upon existing structure from motion (SFM) methods. We propose a SFM algorithm that is both recursive and optimal. Our method incorporates ...
165
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
152
click to vote
ICASSP
2008
IEEE
16 years 15 days ago
2008
IEEE
To help develop ultra-low power wireless hearing aid products, we investigate the integration of subband audio coding with hearing aid applications. Both the audio coding and the ...