4962 search results - page 770 / 993 » Stochastic Model Checking |
CAV
2007
Springer
14 years 2 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...
CCIA
2007
Springer
14 years 2 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...
ICALP
2007
Springer
14 years 2 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 ...
ICIC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Using the classical Parzen window (PW) estimate as the target function, the sparse kernel density estimator is constructed in a forward constrained regression manner. The...
ICN
2007
Springer
14 years 2 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...