3865 search results - page 285 / 773 » From Bidirectionality to Alternation |
151
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
288
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...
184
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Nearest neighbor forecasting models are attractive with their simplicity and the ability to predict complex nonlinear behavior. They rely on the assumption that observations simila...
170
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT ...
180
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...