2555 search results - page 101 / 511 » Quantifiers and Working Memory |
BMVC
1996
14 years 11 months ago
1996
This paperdescribes initial work on a family of projectivereconstructiontechniques that extract projection matrices directly and linearly from matching tensors estimated from imag...
86
Voted
MASCOTS
1993
14 years 11 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
60
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Time synchronization is an important aspect of sensor network operation. However, it is well known that synchronization error accumulates over multiple hops. This presents a challe...
APAL
2000
14 years 10 months ago
2000
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...
SEAL
2010
Springer
14 years 8 months ago
2010
Springer
During engineering design, it is often difficult to quantify product reliability because of insufficient data or information for modeling the uncertainties. In such cases, one need...