1070 search results - page 87 / 214 » Type Classes with Functional Dependencies |
171
Voted
IJCAI
2001
15 years 5 months ago
2001
Supervised and unsupervised learning methods have traditionally focused on data consisting of independent instances of a single type. However, many real-world domains are best des...
129
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
132
Voted
CORR
2010
Springer
15 years 11 days ago
2010
Springer
Constraint Satisfaction Problems (CSP) constitute a convenient way to capture many combinatorial problems. The general CSP is known to be NP-complete, but its complexity depends on...
117
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
135
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...