Sciweavers

3510 search results - page 495 / 702
» Searching with numbers
Sort
View
ICST
2009
IEEE
16 years 1 months ago
A Simple Coverage-Based Locator for Multiple Faults
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
Friedrich Steimann, Mario Bertschler
LICS
2009
IEEE
16 years 1 months ago
Indexed Containers
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
Thorsten Altenkirch, Peter Morris
ICPR
2010
IEEE
16 years 1 months ago
Automatic Pathology Annotation on Medical Images: A Statistical Machine Translation Framework
Large number of medical images are produced daily in hospitals and medical institutions, the needs to efficiently process, index, search and retrieve these images are great. In t...
Tianxia Gong, Shimiao Li, Chew-Lim Tan, Boon Chuan...
BPM
2009
Springer
116views Business» more  BPM 2009»
16 years 1 months ago
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
Chen Li, Manfred Reichert, Andreas Wombacher
CANS
2009
Springer
165views Cryptology» more  CANS 2009»
16 years 1 months ago
An Analysis of the Compact XSL Attack on BES and Embedded SMS4
The XSL attack when applied on BES-128 has been shown to have an attack complexity of 2100 , which is faster than exhaustive search. However at FSE 2007, Lim and Khoo analyzed the ...
Jiali Choy, Huihui Yap, Khoongming Khoo