Sciweavers

1159 search results - page 163 / 232
» Decision rules and decision markets
Sort
View
ISMDA
2000
Springer
15 years 1 months ago
Inconsistency Tests for Patient Records in a Coronary Heart Disease Database
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...
Dragan Gamberger, Nada Lavrac, Goran Krstacic, Tom...
DBPL
1995
Springer
144views Database» more  DBPL 1995»
15 years 1 months ago
An Algebraic Framework for Physical OODB Design
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
Leonidas Fegaras, David Maier
TYPES
1995
Springer
15 years 1 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
55
Voted
AAAI
2008
15 years 4 days ago
On the Enactability of Business Protocols
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
Nirmit Desai, Munindar P. Singh
WSC
2008
15 years 4 days ago
On step sizes, stochastic shortest paths, and survival probabilities in Reinforcement Learning
Reinforcement Learning (RL) is a simulation-based technique useful in solving Markov decision processes if their transition probabilities are not easily obtainable or if the probl...
Abhijit Gosavi