Sciweavers

359 search results - page 19 / 72
» On the number of chord diagrams
Sort
View
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
14 years 3 months ago
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams
We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block inde...
Roberto Lublinerman, Stavros Tripakis
ISMVL
2006
IEEE
117views Hardware» more  ISMVL 2006»
14 years 2 months ago
Representations of Elementary Functions Using Binary Moment Diagrams
This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and reciprocal functions. These real valued functions ar...
Tsutomu Sasao, Shinobu Nagayama
CCL
1994
Springer
14 years 22 days ago
Ordered Binary Decision Diagrams and the Davis-Putnam Procedure
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
Tomás E. Uribe, Mark E. Stickel
ICSM
2000
IEEE
14 years 1 months ago
Recovering Class Diagrams from Data-Intensive Legacy Systems
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
Giuseppe A. Di Lucca, Anna Rita Fasolino, Ugo de C...
AAAI
2000
13 years 10 months ago
Sampling Methods for Action Selection in Influence Diagrams
Sampling has become an important strategy for inference in belief networks. It can also be applied to the problem of selecting actions in influence diagrams. In this paper, we pre...
Luis E. Ortiz, Leslie Pack Kaelbling