4167 search results - page 653 / 834 » Regression model checking |
145
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
150
Voted
CCIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
114
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
109
Voted
ICN
2007
Springer
15 years 9 months ago
2007
Springer
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...
114
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...