1878 search results - page 224 / 376 » The Vienna Abstract Machine |
139
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
150
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
119
Voted
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
193
click to vote
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper image-based techniques for 3D surface reconstruction are presented which are especially suitable for (but not limited to) coplanar light sources. The first...
150
click to vote
ECML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present first experiments using Support Vector Regression as function approximator for an on-line, sarsa-like reinforcement learner. To overcome the batch nature of S...