1190 search results - page 11 / 238 » A type and effect system for atomicity |
VISUAL
2007
Springer
14 years 25 days ago
2007
Springer
With the explosion of multimedia data especially that of video data, requirement of efficient video retrieval has becoming more and more important. Years of TREC Video Retrieval Ev...
DLOG
1996
13 years 8 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...
SIGSOFT
2006
ACM
14 years 20 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...