Sciweavers

920 search results - page 143 / 184
» Computing the Frequency of Partial Orders
Sort
View
ICIP
2006
IEEE
14 years 11 months ago
Image Registration of Differently Stained Histological Sections
We have focused our interest on the registration of brightfield transmitted light microscopy images with respect to different histological stainings. For this kind of registration...
Jens Einenkel, Jens-Peer Kuska, Lars-Christian Hor...
ICIP
2003
IEEE
14 years 11 months ago
Fast indexing for image retrieval based on local appearance with re-ranking
This paper describes an approach to retrieve images containing specific objects, scenes or buildings. The image content is captured by a set of local features. More precisely, we ...
Hao Shao, Tomás Svoboda, Vittorio Ferrari, ...
ICLP
2009
Springer
14 years 10 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
KDD
2006
ACM
228views Data Mining» more  KDD 2006»
14 years 10 months ago
Algorithms for time series knowledge mining
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...
Fabian Mörchen
ICDE
2010
IEEE
171views Database» more  ICDE 2010»
14 years 9 months ago
Surrogate Ranking for Very Expensive Similarity Queries
1 We consider the problem of similarity search in applications where the cost of computing the similarity between two records is very expensive, and the similarity measure is not a...
Chris Jermaine, Fei Xu, Mingxi Wu, Ravi Jampani, T...