Sciweavers

1095 search results - page 33 / 219
» Preprocessing of Intractable Problems
Sort
View
AICOM
2004
92views more  AICOM 2004»
13 years 7 months ago
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Abstract. Dechter et al. [5] proposed solving the Temporal Constraint Satisfaction Problem (TCSP) by modeling it as a metaCSP, which is a finite CSP with a unique global constraint...
Berthe Y. Choueiry, Lin Xu
PKDD
2001
Springer
127views Data Mining» more  PKDD 2001»
14 years 4 days ago
Sentence Filtering for Information Extraction in Genomics, a Classification Problem
In some domains, Information Extraction (IE) from texts requires syntactic and semantic parsing. This analysis is computationally expensive and IE is potentially noisy if it applie...
Claire Nedellec, Mohamed Ould Abdel Vetah, Philipp...
JSAT
2006
109views more  JSAT 2006»
13 years 7 months ago
Decomposing SAT Problems into Connected Components
Many SAT instances can be decomposed into connected components either initially after preprocessing or during the solution phase when new unit conflict clauses are learned. This o...
Armin Biere, Carsten Sinz
IPL
2010
71views more  IPL 2010»
13 years 6 months ago
New common ancestor problems in trees and directed acyclic graphs
We derive a new generalization of lowest common ancestors (LCAs) in dags, called the lowest single common ancestor (LSCA). We show how to preprocess a static dag in linear time su...
Johannes Fischer, Daniel H. Huson
ECCV
2006
Springer
14 years 9 months ago
Tracking Objects Across Cameras by Incrementally Learning Inter-camera Colour Calibration and Patterns of Activity
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated, non-overlapping cameras. Unlike other approaches this technique...
Andrew Gilbert, Richard Bowden