3820 search results - page 415 / 764 » Bounded Model Debugging |
123
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we study the problem of controlling a number of Unmanned Aerial Vehicles (UAVs) to provide convoy protection to a group of ground vehicles. The UAVs are modeled as Du...
134
click to vote
NAACL
2010
15 years 1 months ago
2010
The use of well-nested linear context-free rewriting systems has been empirically motivated for modeling of the syntax of languages with discontinuous constituents or relatively f...
128
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
— Secrecy graphs model the connectivity of wireless networks under secrecy constraints. Directed edges in the graph are present whenever a node can talk to another node securely ...
164
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
134
click to vote
ALT
2006
Springer
16 years 1 months ago
2006
Springer
Most of the existing active learning algorithms are based on the realizability assumption: The learner’s hypothesis class is assumed to contain a target function that perfectly c...