955 search results - page 112 / 191 » Model Checking Operator Procedures |
86
Voted
AAAI
1996
15 years 2 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
15 years 5 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 ...
154
Voted
ASPLOS
2012
ACM
13 years 8 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...
85
Voted
ICDAR
2003
IEEE
15 years 6 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 ...
115
Voted
PRL
2008
14 years 11 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...