1767 search results - page 217 / 354 » An Integrated Model for Cellular Analysis |
165
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. This paper addresses the problem of automatically segmenting bone structures in low resolution clinical MRI datasets. The novel aspect of the proposed method is the combi...
189
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
161
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We argue that expert finding is sensitive to multiple document features in an organization, and therefore, can benefit from the incorporation of these document features. We propos...
159
click to vote
LREC
2010
15 years 7 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...