7623 search results - page 305 / 1525 » Constructive Volume Modeling |
186
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
159
click to vote
ECML
2004
Springer
15 years 12 months ago
2004
Springer
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
133
click to vote
AMC
2007
15 years 6 months ago
2007
Recently, particular counterexamples were constructed to some theorems of a previous paper, concerning the global attractivity of the positive equilibrium for the delay equation _...
156
click to vote
APAL
2002
15 years 6 months ago
2002
A notion called Herbrand saturation is shown to provide the modeltheoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a nu...
150
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
The influence of multimodal sources of input data to the construction of accurate computational models of user preferences is investigated in this paper. The case study presented...