Sciweavers

3971 search results - page 628 / 795
» On the Use of Properties in Java Applications
Sort
View
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 5 months ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
148
Voted
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 5 months ago
Packrat Parsing: Simple, Powerful, Lazy, Linear Time
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
EAAI
2006
157views more  EAAI 2006»
15 years 5 months ago
Blind source separation based on self-organizing neural network
This contribution describes a neural network that self-organizes to recover the underlying original sources from typical sensor signals. No particular information is required abou...
Anke Meyer-Bäse, Peter Gruber, Fabian J. Thei...
ENTCS
2006
231views more  ENTCS 2006»
15 years 5 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
KAIS
2006
164views more  KAIS 2006»
15 years 5 months ago
On efficiently summarizing categorical databases
Frequent itemset mining was initially proposed and has been studied extensively in the context of association rule mining. In recent years, several studies have also extended its a...
Jianyong Wang, George Karypis