4502 search results - page 464 / 901 » Regular Model Checking |
184
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
226
click to vote
DSOM
1999
Springer
15 years 11 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
186
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
To regularize cardiac motion recovery from medical images, electromechanical models are increasingly popular for providing a priori physiological motion information. Although these...
174
click to vote
SPIRE
2010
Springer
15 years 5 months ago
2010
Springer
The retrieval of similar documents in the Web from a given document is different in many aspects from information retrieval based on queries generated by regular search engine use...
163
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...