2905 search results - page 128 / 581 » Formal Memetic Algorithms |
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
Thispaper presents a nonparametricregion competition algorithm which combines scale-space clustering and region competition to segment the image. It also proposes a formal and gen...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
Context is a key factor in making make access control decision in modern information system. But a formal context model is needed to guide research of implementation of Context-se...
COCO
2003
Springer
15 years 3 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
A fundamental question for edge detection is how faint an edge can be and still be detected. In this paper we offer a formalism to study this question and subsequently introduce a...
KR
1998
Springer
15 years 2 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...