3820 search results - page 196 / 764 » Bounded Model Debugging |
110
Voted
TSE
2010
15 years 1 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
132
click to vote
PAM
2012
Springer
13 years 10 months ago
2012
Springer
Network measurement practitioners increasingly focus their interest on understanding and debugging home networks. The Universal Plug and Play (UPnP) technology holds promise as a h...
135
click to vote
ESANN
2007
15 years 4 months ago
2007
We investigate in this paper the problem of model collisions in the Dissimilarity Self Organizing Map (SOM). This extension of the SOM to dissimilarity data suffers from constrain...
114
click to vote
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
120
click to vote
APPROX
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we consider the reconstruction problem on the tree for the hardcore model. We determine new bounds for the non-reconstruction regime on the k-regular tree showing non...