3384 search results - page 282 / 677 » More Testable Properties |
172
click to vote
PAA
2008
15 years 6 months ago
2008
We present the study of a data-driven motion synthesis approach based on a 1D affine imagematching equation. We start by deriving the relevant properties of the exact matching oper...
152
click to vote
RTS
2008
15 years 6 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
177
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
165
click to vote
CSDA
2010
15 years 5 months ago
2010
The goal of this work is to study the asymptotic and finite sample properties of an estimator of a nonlinear regression function when errors are spatially correlated, and when the...
181
click to vote
FAC
2010
15 years 5 months ago
2010
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...