955 search results - page 112 / 191 » Model Checking Operator Procedures |
AAAI
1996
13 years 11 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
DEXA
1999
Springer
14 years 2 months ago
1999
Springer
: In an extensible database system, evaluation of a query plan is done in cooperation between a collection of operator implementation functions and a component of the DBMS that we ...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes a framework to recognizing and recreating folding process of origami based on illustrations of origami drill books. Illustration images acquired from origami ...
PRL
2008
13 years 8 months ago
2008
The performance of face recognition is greatly affected by illumination changes because intra-person variation of the captured images under different lighting conditions can be mu...