Sciweavers

461 search results - page 49 / 93
» Mercury: Combining Performance with Dependability Using Self...
Sort
View
IEEEPACT
1999
IEEE
14 years 5 hour ago
Containers on the Parallelization of General-Purpose Java Programs
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
Peng Wu, David A. Padua
JSS
2008
97views more  JSS 2008»
13 years 7 months ago
Proactive and reactive multi-dimensional histogram maintenance for selectivity estimation
Many state-of-the-art selectivity estimation methods use query feedback to maintain histogram buckets, thereby using the limited memory efficiently. However, they are "reacti...
Zhen He, Byung Suk Lee, Xiaoyang Sean Wang
ICST
2009
IEEE
13 years 5 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
AVBPA
2005
Springer
320views Biometrics» more  AVBPA 2005»
14 years 1 months ago
A Principled Approach to Score Level Fusion in Multimodal Biometric Systems
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
Sarat C. Dass, Karthik Nandakumar, Anil K. Jain
MM
2005
ACM
140views Multimedia» more  MM 2005»
14 years 1 months ago
Topic transition detection using hierarchical hidden Markov and semi-Markov models
In this paper we introduce a probabilistic framework to exploit hierarchy, structure sharing and duration information for topic transition detection in videos. Our probabilistic d...
Dinh Q. Phung, Thi V. Duong, Svetha Venkatesh, Hun...