1638 search results - page 238 / 328 » A General Semantics for Evaluation Logic |
103
click to vote
ICDT
2012
ACM
13 years 2 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
118
click to vote
CSCLP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
JDWM
2007
14 years 11 months ago
2007
Rule induction from examples is a machine learning technique that finds rules of the form condition → class, where condition and class are logic expressions of the form variable...
105
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Evidence-based decision making is becoming increasingly important in healthcare. Much valuable evidence is in the form of the results from clinical trials that compare th...
114
click to vote
EDBT
2006
ACM
15 years 12 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...