461 search results - page 16 / 93 » Bounds for Validation |
ICCV
1999
IEEE
15 years 24 days ago
1999
IEEE
This paper addresses the problem of estimating time to collision from local motion eld measurements in the case of unconstrained relative rigid motion and surface orientation. It ...
VLDB
2008
ACM
14 years 11 months ago
2008
ACM
This paper studies aggregate search in transaction time databases. Specifically, each object in such a database can be modeled as a horizontal segment, whose y-projection is its s...
ESORICS
2002
Springer
14 years 10 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
GECCO
2009
Springer
14 years 5 months ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
JAIR
2010
13 years 9 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...