12257 search results - page 447 / 2452 » Analysis of Algorithms |
133
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
143
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a new approach to demosaicing of spatially sampled image data observed through a color filter array, in which properties of Smith-Barnwell filterbanks are empl...
139
Voted
AI
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies the problem of classification by using a concept lattice as a search space of classification rules. The left hand side of a classification rule is composed by a ...
150
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
197
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...