6355 search results - page 1083 / 1271 » From Logic to Games |
207
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Because of the growing use of multimedia content over Internet, Content-Based Image Retrieval (CBIR) has recently received a lot of interest. While accurate search techniques base...
156
click to vote
ISQED
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...
174
click to vote
WETICE
2006
IEEE
16 years 17 days ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
170
click to vote
ADBIS
2006
Springer
16 years 16 days ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
179
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...