Sciweavers

65 search results - page 2 / 13
» Numerical Representations as Purely Functional Data Structur...
Sort
View
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
14 years 2 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
TVCG
1998
125views more  TVCG 1998»
13 years 4 months ago
Structure-Significant Representation of Structured Datasets
—Numerical simulation of physical phenomena is now an accepted way of scientific inquiry. However, the field is still evolving, with a profusion of new solution and grid-generati...
Raghu Machiraju, Zhifan Zhu, Bryan Fry, Robert J. ...
TCS
2010
13 years 3 months ago
Maximum likelihood analysis of algorithms and data structures
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
Ulrich Laube, Markus E. Nebel
FLAIRS
2010
13 years 7 months ago
Handling of Numeric Ranges for Graph-Based Knowledge Discovery
Nowadays, graph-based knowledge discovery algorithms do not consider numeric attributes (they are discarded in the preprocessing step, or they are treated as alphanumeric values w...
Oscar E. Romero, Jesus A. Gonzalez, Lawrence B. Ho...
ENTCS
2008
105views more  ENTCS 2008»
13 years 5 months ago
Declaring Numbers
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...
Bernd Braßel, Sebastian Fischer, Frank Huch