738 search results - page 75 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
207
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
We present some theoretical results related to the problem
of actively searching for a target in a 3D environment,
under the constraint of a maximum search time. We define
the o...
127
click to vote
CA
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
BMCBI
2008
15 years 12 hour ago
2008
Background: We propose a multiple sequence alignment (MSA) algorithm and compare the alignment-quality and execution-time of the proposed algorithm with that of existing algorithm...