3475 search results - page 260 / 695 » A DEA approach for model combination |
210
click to vote
COR
2008
15 years 6 months ago
2008
In this paper we discuss models and methods for solving the rooted distance constrained minimum spanning tree problem which is defined as follows: given a graph G = (V, E) with no...
171
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
195
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
165
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Dynamic texture is an extension of texture to the temporal domain. In this paper, a new method for recognizing dynamic textures is proposed. The textures are modeled with concaten...
169
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...