1743 search results - page 240 / 349 » Generalized Modal Satisfiability |
166
click to vote
FOCS
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
167
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
Over the years, a variety of algorithms for finding frequent sequential patterns in very large sequential databases have been developed. The key feature in most of these algorith...
226
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
131
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
157
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...