1760 search results - page 106 / 352 » A System to Mark Programs Automatically |
128
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
117
click to vote
CONCURRENCY
2007
15 years 2 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
127
click to vote
POPL
1996
ACM
15 years 7 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
120
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Boundary detection constitutes a crucial step in many computer vision tasks. We present a novel learning approach to automatically construct a boundary detector for natural images...
165
click to vote
PRL
2002
15 years 2 months ago
2002
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...