Sciweavers

8828 search results - page 240 / 1766
» Formal methods in practice
Sort
View
COSIT
2009
Springer
125views GIS» more  COSIT 2009»
15 years 10 months ago
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
Jean-François Condotta, Souhila Kaci, Pierr...
CIVR
2010
Springer
160views Image Analysis» more  CIVR 2010»
15 years 10 months ago
Today's and tomorrow's retrieval practice in the audiovisual archive
Content-based video retrieval is maturing to the point where it can be used in real-world retrieval practices. One such practice is the audiovisual archive, whose users increasing...
Bouke Huurnink, Cees G. M. Snoek, Maarten de Rijke...
PRL
2000
115views more  PRL 2000»
15 years 5 months ago
A new face detection method based on shape information
Automatic detection of human faces is one of the most dicult problems in pattern recognition. In many practical applications (e.g. personal identi
Jianguo Wang, Tieniu Tan
142
Voted
ICCS
2003
Springer
15 years 11 months ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
JUCS
2007
108views more  JUCS 2007»
15 years 5 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani