Sciweavers

143 search results - page 12 / 29
» Contextual Integration Testing of Classes
Sort
View
CVPR
2004
IEEE
14 years 9 months ago
Cue Integration through Discriminative Accumulation
Object recognition systems aiming to work in real world settings should use multiple cues in order to achieve robustness. We present a new cue integration scheme which extends the...
Maria-Elena Nilsback, Barbara Caputo
ICSE
2008
IEEE-ACM
14 years 8 months ago
Juzi: a tool for repairing complex data structures
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
Bassem Elkarablieh, Sarfraz Khurshid
LPAR
2005
Springer
14 years 29 days ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
13 years 11 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
ACL
2008
13 years 9 months ago
SIDE: The Summarization Integrated Development Environment
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
Moonyoung Kang, Sourish Chaudhuri, Mahesh Joshi, C...