Sciweavers

1222 search results - page 69 / 245
» Some Results on Directable Automata
Sort
View
PCM
2004
Springer
134views Multimedia» more  PCM 2004»
15 years 3 months ago
Real-Time Free-Viewpoint Video Generation Using Multiple Cameras and a PC-Cluster
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
Megumu Ueda, Daisaku Arita, Rin-ichiro Taniguchi
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 3 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
DATE
1999
IEEE
86views Hardware» more  DATE 1999»
15 years 2 months ago
Glitch Power Minimization by Gate Freezing
This paper presents a technique for glitch power minimization in combinational circuits. The total number of glitches is reduced by replacing some existing gates with functionally...
Luca Benini, Giovanni De Micheli, Alberto Macii, E...
VLSID
1996
IEEE
133views VLSI» more  VLSID 1996»
15 years 2 months ago
Allocation and Binding in Data Path Synthesis Using a Genetic Algorithm Approach
A technique for allocatzon and binding for data path synthesis (DPS) using a Genetic Algorithm (GA) approach has been developed. The proposed genetic algorithm uses a non-conventi...
Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy G...
ECAI
2006
Springer
15 years 1 months ago
Improving Bound Propagation
Abstract. This paper extends previously proposed bound propagation algorithm [11] for computing lower and upper bounds on posterior marginals in Bayesian networks. We improve the b...
Bozhena Bidyuk, Rina Dechter