3820 search results - page 292 / 764 » Bounded Model Debugging |
122
click to vote
TSP
2008
15 years 3 months ago
2008
We consider the problem of decentralized detection in failure-prone tree networks with bounded height. Specifically, we study and contrast the impact on the detection performance o...
111
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Three state-of-the-art statistical parsers are combined to produce more accurate parses, as well as new bounds on achievable Treebank parsing accuracy. Two general approaches are ...
144
Voted
RITA
2000
15 years 3 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
149
click to vote
ORL
2007
15 years 3 months ago
2007
We extend earlier work on scenario reduction by relying directly on Fortet–Mourier metrics instead of using upper bounds given in terms of mass transportation problems. The impo...
130
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...