1024 search results - page 102 / 205 » Value complete, column complete, predicate complete |
COMPGEOM
2004
ACM
15 years 5 months ago
2004
ACM
We present the first complete, exact, and efficient C++ implementation for parameterizing the intersection of two implicit quadrics with integer coefficients of arbitrary size. It...
103
click to vote
FATES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
106
click to vote
ECML
2006
Springer
15 years 5 months ago
2006
Springer
Reinforcement learning in real-world domains suffers from three curses of dimensionality: explosions in state and action spaces, and high stochasticity. We present approaches that ...
FLAIRS
2008
15 years 4 months ago
2008
Recommendation systems suggest products to users. Collaborative filtering (CF) systems, which base those recommendations on a database of previous ratings by various users and pro...
101
click to vote
COCOON
2008
Springer
15 years 3 months ago
2008
Springer
We analyze the complexity of equilibria problems for a class of strategic zero-sum games, called Angel-Daemon games. Those games were introduced to asses the goodness of a web or g...