Sciweavers

873 search results - page 11 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
ICPR
2000
IEEE
15 years 6 months ago
Probabilistic Saliency Approach for Elongated Structure Detection Using Deformable Models
In this paper we address the object recognition problem in a probabilistic framework to detect and describe object appearance through image features organized by means of active c...
Xavier Orriols, Ricardo Toledo, Xavier Binefa, Pet...
HASE
2007
IEEE
15 years 5 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
RSP
1999
IEEE
15 years 6 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
ECCV
2008
Springer
15 years 3 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
PPSN
2010
Springer
14 years 11 months ago
Using Co-solvability to Model and Exploit Synergetic Effects in Evolution
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
Krzysztof Krawiec, Pawel Lichocki