Sciweavers

1083 search results - page 137 / 217
» On the Number of Optimal Base 2 Representations of Integers
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
15 years 3 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
DAC
1994
ACM
15 years 1 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton
FIMI
2003
146views Data Mining» more  FIMI 2003»
14 years 11 months ago
Mining Frequent Itemsets using Patricia Tries
We present a depth-first algorithm, PatriciaMine, that discovers all frequent itemsets in a dataset, for a given support threshold. The algorithm is main-memory based and employs...
Andrea Pietracaprina, Dario Zandolin
ECAI
2010
Springer
14 years 11 months ago
Unsupervised Layer-Wise Model Selection in Deep Neural Networks
Abstract. Deep Neural Networks (DNN) propose a new and efficient ML architecture based on the layer-wise building of several representation layers. A critical issue for DNNs remain...
Ludovic Arnold, Hélène Paugam-Moisy,...
VIS
2008
IEEE
134views Visualization» more  VIS 2008»
15 years 11 months ago
Glyph-Based SPECT Visualization for the Diagnosis of Coronary Artery Disease
Myocardial perfusion imaging with single photon emission computed tomography (SPECT) is an established method for the detection and evaluation of coronary artery disease (CAD). Sta...
Jennis Meyer-Spradow, Lars Stegger, Christian D...