8025 search results - page 199 / 1605 » Combinators Introduction: An Algorithm |
115
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
111
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...
104
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
As an example of the recently introduced concept of rate of innovation, signals that are linear combinations of a finite number of Diracs per unit time can be acquired by linear fi...
125
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit ...
122
Voted
DSS
2006
15 years 2 months ago
2006
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...