1449 search results - page 266 / 290 » Finiteness results for sigmoidal |
111
click to vote
KDD
2007
ACM
16 years 6 days ago
2007
ACM
In this paper, we introduce and study the Minimum Consistent Subset Cover (MCSC) problem. Given a finite ground set X and a constraint t, find the minimum number of consistent sub...
133
click to vote
KDD
2003
ACM
16 years 6 days ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
104
click to vote
CADE
2005
Springer
16 years 3 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
220
click to vote
VLDB
2005
ACM
16 years 1 days ago
2005
ACM
Estimating the selectivity of multidimensional range queries over real valued attributes has significant applications in data exploration and database query optimization. In this p...
196
click to vote
SIGMOD
2009
ACM
16 years 23 hour ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...