Sciweavers

588 search results - page 53 / 118
» Modeling and Verifying Circuits Using Generalized Relative T...
Sort
View
DAC
2007
ACM
14 years 9 months ago
Modeling and Estimation of Full-Chip Leakage Current Considering Within-Die Correlation
We present an efficient technique for finding the mean and variance of the full-chip leakage of a candidate design, while considering logic-structures and both die-to-die and with...
Khaled R. Heloue, Navid Azizi, Farid N. Najm
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
14 years 2 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...
AAAI
2012
11 years 10 months ago
Discovering Constraints for Inductive Process Modeling
Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combi...
Ljupco Todorovski, Will Bridewell, Pat Langley
AAAI
2010
13 years 9 months ago
Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...
Felix Brandt, Markus Brill, Edith Hemaspaandra, La...
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
14 years 2 months ago
Prediction-Based Gesture Detection in Lecture Videos by Combining Visual, Speech and Electronic Slides
This paper presents an efficient algorithm for gesture detection in lecture videos by combining visual, speech and electronic slides. Besides accuracy, response time is also cons...
Feng Wang, Chong-Wah Ngo, Ting-Chuen Pong