4266 search results - page 623 / 854 » Search for More Declarativity |
144
Voted
DATE
2008
IEEE
16 years 17 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
166
click to vote
ICASSP
2008
IEEE
16 years 17 days ago
2008
IEEE
There has been much recent progress in the technical infrastructure necessary to continuously characterize and archive all sounds, or more precisely auditory streams, that occur w...
156
click to vote
ICDE
2008
IEEE
16 years 17 days ago
2008
IEEE
Personalized PageRank, related to random walks with restarts and conductance in resistive networks, is a frequent search paradigm for graph-structured databases. While efficient ba...
126
click to vote
ICDM
2008
IEEE
16 years 17 days ago
2008
IEEE
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...
156
Voted
ICDM
2008
IEEE
16 years 17 days ago
2008
IEEE
The problem of selecting small groups of itemsets that represent the data well has recently gained a lot of attention. We approach the problem by searching for the itemsets that c...