8828 search results - page 240 / 1766 » Formal methods in practice |
147
click to vote
COSIT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
168
click to vote
CIVR
2010
Springer
15 years 10 months ago
2010
Springer
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...
162
click to vote
PRL
2000
15 years 5 months ago
2000
Automatic detection of human faces is one of the most dicult problems in pattern recognition. In many practical applications (e.g. personal identi
142
Voted
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
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,...
135
click to vote
JUCS
2007
15 years 5 months ago
2007
: 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...