3172 search results - page 445 / 635 » Combining Specification Techniques for Processes, Data and T... |
180
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
173
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
From the standpoint of the automated extraction of scientific knowledge, an important but little-studied part of scientific publications are the figures and accompanying captions....
151
click to vote
CSREASAM
2006
15 years 8 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
197
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
293
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
Several spatio-temporal applications require the retrieval of summarized information about moving objects that lie in a query region during a query interval (e.g., the number of m...