Sciweavers

112 search results - page 16 / 23
» Generalized View-Dependent Simplification
Sort
View
DAC
2004
ACM
14 years 8 months ago
STAC: statistical timing analysis with correlation
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
Jiayong Le, Xin Li, Lawrence T. Pileggi
ECAL
2005
Springer
14 years 1 months ago
Genetic Assimilation and Canalisation in the Baldwin Effect
The Baldwin Effect indicates that individually learned behaviours acquired during an organism’s lifetime can influence the evolutionary path taken by a population, without any di...
Rob Mills, Richard A. Watson
MSV
2004
13 years 9 months ago
Correctness Criteria for Models' Validation- A Philosophical Perspective
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
Ijeoma Sandra Irobi, Johan Andersson, Anders Wall
AMDO
2000
Springer
13 years 11 months ago
Matching a Human Walking Sequence with a VRML Synthetic Model
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
Jose Maria Buades Rubio, Ramon Mas, Francisco J. P...
DAC
2007
ACM
14 years 8 months ago
On Resolution Proofs for Combinational Equivalence
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...