1565 search results - page 30 / 313 » An unlikely result |
102
click to vote
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
STACS
2009
Springer
15 years 6 months ago
2009
Springer
The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision ve...
DIS
2007
Springer
15 years 1 months ago
2007
Springer
In this paper, we propose a new concept, thinning-out, for reducing the number of trials in skill discovery. Thinning-out means to skip over such trials that are unlikely to improv...
DICTA
2007
15 years 1 months ago
2007
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...
MASCOTS
2004
15 years 1 months ago
2004
Several models of deterministic routing have been proposed for wormhole-routed mesh networks while there is only one model, to our best knowledge, proposed for fully adaptive worm...