Sciweavers

2410 search results - page 85 / 482
» Multiset Ordering Constraints
Sort
View
CP
2007
Springer
15 years 11 months ago
Constraint-Based Temporal Reasoning for E-Learning with LODE
LODE is a logic-based web tool for Italian deaf children. It aims at stimulating global reasoning on e-stories written in a verbal language. Presently, we are focusing on temporal ...
Rosella Gennari, Ornella Mich
142
Voted
DAC
2006
ACM
15 years 11 months ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
CINQ
2004
Springer
125views Database» more  CINQ 2004»
15 years 10 months ago
The Hows, Whys, and Whens of Constraints in Itemset and Rule Discovery
Many researchers in our community (this author included) regularly emphasize the role constraints play in improving performance of data-mining algorithms. This emphasis has led to ...
Roberto J. Bayardo
154
Voted
CP
2004
Springer
15 years 10 months ago
Preprocessing Techniques for Distributed Constraint Optimization
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...
Syed Muhammad Ali, Sven Koenig, Milind Tambe
AINA
2006
IEEE
15 years 8 months ago
Distributed Model-Based Diagnosis using Object-Relational Constraint Databases
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
María Teresa Gómez López, Raf...