Sciweavers

192 search results - page 25 / 39
» Time and Information in Sequential and Concurrent Computatio...
Sort
View
ISM
2005
IEEE
151views Multimedia» more  ISM 2005»
15 years 5 months ago
Video Data Mining: Mining Semantic Patterns with temporal constraints from Movies
— For efficient video data management, ‘video data mining’ is required to discover ‘semantic patterns’ which are not only previously unknown and interesting, but also as...
Kimiaki Shirahama, Koichi Ideno, Kuniaki Uehara
OTM
2007
Springer
15 years 5 months ago
Parallelizing Tableaux-Based Description Logic Reasoning
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
Thorsten Liebig, Felix Müller
PLDI
2012
ACM
13 years 2 months ago
Effective parallelization of loops in the presence of I/O operations
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
Min Feng, Rajiv Gupta, Iulian Neamtiu
PLDI
2010
ACM
15 years 9 months ago
Pacer: Proportional Detection of Data Races
Data races indicate serious concurrency bugs such as order, atomicity, and sequential consistency violations. Races are difficult to find and fix, often manifesting only in deploy...
Michael D. Bond, Katherine E. Coons, Kathryn S. Mc...
BMCBI
2010
145views more  BMCBI 2010»
14 years 6 months ago
Directionality in protein fold prediction
Background: Ever since the ground-breaking work of Anfinsen et al. in which a denatured protein was found to refold to its native state, it has been frequently stated by the prote...
Jonathan J. Ellis, Fabien P. E. Huard, Charlotte M...