2410 search results - page 222 / 482 » Multiset Ordering Constraints |
152
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
158
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces a novel type of query, what we name Spatio-temporal Pattern Queries (STP). Such a query specifies a spatiotemporal pattern as a sequence of distinct spatial...
178
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a cluster validation based document clustering algorithm, which is capable of identifying both important feature words and true model order (cluster number). I...
201
click to vote
ICEIS
2003
IEEE
15 years 11 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
174
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...