Sciweavers

10790 search results - page 373 / 2158
» Using feature models to automate model transformations
Sort
View
193
Voted
DAC
2006
ACM
16 years 7 months ago
Statistical logic cell delay analysis using a current-based model
A statistical model for the purpose of logic cell timing analysis in the presence of process variations is presented. A new current-based cell delay model is utilized, which can a...
Hanif Fatemi, Shahin Nazarian, Massoud Pedram
170
Voted
CGF
2004
118views more  CGF 2004»
15 years 6 months ago
Cultural Heritage Preservation Using Constructive Shape Modeling
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
Carl Vilbrandt, Galina Pasko, Alexander A. Pasko, ...
ALP
1990
Springer
15 years 11 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
15 years 11 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
210
Voted
CRV
2009
IEEE
225views Robotics» more  CRV 2009»
16 years 1 months ago
3D Modeling from Multiple Views with Integrated Registration and Data Fusion
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
Alain Boyer, Phillip Curtis, Pierre Payeur