1076 search results - page 156 / 216 » Operations on proofs and labels |
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
SIES
2007
IEEE
14 years 3 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
WEBI
2007
Springer
14 years 3 months ago
2007
Springer
The volume of spam e-mails has grown rapidly in the last two years resulting in increasing costs to users, network operators, and e-mail service providers (ESPs). E-mail users dem...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Image segmentation is a critical task in computer vision. In the context of motion detection, a very popular segmentation approach is background substraction which consists in ...