972 search results - page 47 / 195 » Reasoning with Conditional Time-Intervals |
104
click to vote
CADE
2012
Springer
13 years 4 days ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
AI
2004
Springer
14 years 9 months ago
2004
Springer
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the i...
SSDBM
1997
IEEE
15 years 1 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
IJCAI
1989
14 years 11 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...