3016 search results - page 524 / 604 » A Granular Approach to Web Search Result Presentation |
139
click to vote
ENTCS
2007
15 years 1 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
105
click to vote
INFORMATICALT
2010
15 years 20 hour ago
2010
This paper presents an improved differential evolution (IDE) method for the solution of large-scale unit commitment (UC) problems. The objective of the proposed scheme is to determ...
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper presents a new approach to the multirobot map-alignment problem that enables teams of robots to build joint maps without initial knowledge of their relative ...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
117
click to vote
XSYM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We are presenting a coherent framework for XQuery processing that incorporates IR-style approximate matching and allows the ordering of results by their relevance score. ...