Sciweavers

1117 search results - page 1 / 224
» Equivalent Representations of Set Functions
Sort
View
MOR
2000
58views more  MOR 2000»
13 years 2 months ago
Equivalent Representations of Set Functions
This paper introduces four alternative representations of a set function: the M
Michel Grabisch, Jean-Luc Marichal, Marc Roubens
TCAD
2002
121views more  TCAD 2002»
13 years 2 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
ECAI
2008
Springer
13 years 4 months ago
Learning Functional Object-Categories from a Relational Spatio-Temporal Representation
Abstract. We propose a framework that learns functional objectes from spatio-temporal data sets such as those abstracted from video. The data is represented as one activity graph t...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
SIGGRAPH
2010
ACM
13 years 7 months ago
Triangle surfaces with discrete equivalence classes
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...
Mayank Singh, Scott Schaefer
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
13 years 7 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann