Sciweavers

9166 search results - page 378 / 1834
» A framework for comparing models of computation
Sort
View
CGF
2006
151views more  CGF 2006»
15 years 6 months ago
Differential Representations for Mesh Processing
Surface representation and processing is one of the key topics in computer graphics and geometric modeling, since it greatly affects the range of possible applications. In this pa...
Olga Sorkine
HUMO
2007
Springer
16 years 27 days ago
Modeling Human Locomotion with Topologically Constrained Latent Variable Models
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
Raquel Urtasun, David J. Fleet, Neil D. Lawrence
GLVLSI
2009
IEEE
122views VLSI» more  GLVLSI 2009»
16 years 1 months ago
Enhancing SAT-based sequential depth computation by pruning search space
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
Yung-Chih Chen, Chun-Yao Wang
DATE
2006
IEEE
114views Hardware» more  DATE 2006»
16 years 24 days ago
An efficient static algorithm for computing the soft error rates of combinational circuits
Soft errors have emerged as an important reliability challenge for nanoscale VLSI designs. In this paper, we present a fast and efficient soft error rate (SER) computation algorit...
Rajeev R. Rao, Kaviraj Chopra, David Blaauw, Denni...
MICAI
2004
Springer
16 years 2 days ago
A Biologically Motivated and Computationally Efficient Natural Language Processor
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
João Luís Garcia Rosa