912 search results - page 91 / 183 » Abstract Saturation-Based Inference |
130
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
111
click to vote
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— With the increasing demand for low-latency applications in the Internet, the slow convergence of the existing routing protocols is a growing concern. A number of IP fas...
138
click to vote
IDA
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This paper introduces a new algorithm for approximate mining of frequent patterns from streams of transactions using a limited amount of memory. The proposed algorithm co...
116
click to vote
TROB
2008
15 years 2 months ago
2008
Abstract--Investigation into robot-assisted intervention for children with autism spectrum disorder (ASD) has gained momentum in recent years. Therapists involved in interventions ...
139
click to vote
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...