Sciweavers

2995 search results - page 171 / 599
» On multi-avoidance of generalized patterns
Sort
View
PASTE
2004
ACM
14 years 2 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
SIGIR
2004
ACM
14 years 2 months ago
Answer models for question answering passage retrieval
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
Andrés Corrada-Emmanuel, W. Bruce Croft
GCB
2004
Springer
139views Biometrics» more  GCB 2004»
14 years 2 months ago
Graph Alignments: A New Concept to Detect Conserved Regions in Protein Active Sites
: We introduce the novel concept of graph alignment, a generalization of graph isomorphism that is motivated by the commonly used multiple sequence alignments. Graph alignments and...
Nils Weskamp, Eyke Hüllermeier, Daniel Kuhn, ...
IWCM
2004
Springer
14 years 2 months ago
Divide-and-Conquer Strategies for Estimating Multiple Transparent Motions
Abstract. Motion estimation is essential in a variety of image processing and computer vision tasks, like video coding, tracking, directional filtering and denoising, scene analys...
Cicero Mota, Ingo Stuke, Til Aach, Erhardt Barth
MCS
2004
Springer
14 years 2 months ago
Classifier Fusion Using Triangular Norms
This paper describes a method for fusing a collection of classifiers where the fusion can compensate for some positive correlation among the classifiers. Specifically, it does not ...
Piero P. Bonissone, Kai Goebel, Weizhong Yan