Sciweavers

6087 search results - page 835 / 1218
» Knowledge discovery methods
Sort
View
BPM
2006
Springer
119views Business» more  BPM 2006»
15 years 10 months ago
Business Process Design by View Integration
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
Jan Mendling, Carlo Simon
FOIKS
2004
Springer
15 years 10 months ago
Simplification of Integrity Constraints for Data Integration
When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient metho...
Henning Christiansen, Davide Martinenghi
CSR
2006
Springer
15 years 10 months ago
Extended Resolution Proofs for Conjoining BDDs
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
Carsten Sinz, Armin Biere
ECML
2006
Springer
15 years 10 months ago
Learning in One-Shot Strategic Form Games
Abstract. We propose a machine learning approach to action prediction in oneshot games. In contrast to the huge literature on learning in games where an agent's model is deduc...
Alon Altman, Avivit Bercovici-Boden, Moshe Tennenh...
ECRTS
2006
IEEE
15 years 10 months ago
Efficient Synchronization under Global EDF Scheduling on Multiprocessors
We consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To our knowledge, prior work on global EDF h...
UmaMaheswari C. Devi, Hennadiy Leontyev, James H. ...