580 search results - page 95 / 116 » Approximation Algorithms for Temporal Reasoning |
93
Voted
GCB
1998
Springer
15 years 6 months ago
1998
Springer
The leucine zipper is a dimerization domain occurring mostly in regulatory and thus in many oncogenic proteins. The leucine repeat in the sequence has been traditionally used for ...
114
click to vote
ASC
2006
15 years 3 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
137
click to vote
ALENEX
2001
15 years 3 months ago
2001
Range searches in metric spaces can be very di cult if the space is \high dimensional", i.e. when the histogram of distances has a large mean and a small variance. The so-cal...
104
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
119
Voted
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...