1738 search results - page 205 / 348 » Local Consistency and SAT-Solvers |
183
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
174
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
160
click to vote
ISBI
2006
IEEE
16 years 6 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
209
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
We propose a new method for detecting patterns of anomalies in categorical datasets. We assume that anomalies are generated by some underlying process which affects only a particu...
261
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
The transcriptional regulatory sequences in metazoan genomes often consist of multiple cis-regulatory modules (CRMs). Each CRM contains locally enriched occurrences of binding site...