2702 search results - page 204 / 541 » Practically Applicable Formal Methods |
TIP
2010
14 years 5 months ago
2010
Level set methods have been widely used in image processing and computer vision. In conventional level set formulations, the level set function typically develops irregularities du...
ICCAD
2000
IEEE
15 years 3 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
ICIP
2004
IEEE
16 years 17 days ago
2004
IEEE
We present methods to obtain computationally efficient proposal distributions for Bayesian reversible jump Markov chain Monte Carlo (RJMCMC) based image segmentation. The slow con...
70
Voted
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
CGVR
2006
15 years 11 days ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...