2911 search results - page 501 / 583 » A Logic of Graph Constraints |
106
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
96
Voted
ADC
2004
Springer
15 years 6 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
84
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
107
Voted
CIA
2004
Springer
15 years 6 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
84
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...