3820 search results - page 362 / 764 » Bounded Model Debugging |
138
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
143
click to vote
ISICT
2003
15 years 6 months ago
2003
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...
146
click to vote
WSCG
2004
15 years 6 months ago
2004
One of the most important problems to solve in Solid Modeling is computing boolean operations for solids (union, intersection and difference). In this paper we present a method to...
153
click to vote
UAI
1998
15 years 6 months ago
1998
There is evidence that the numbers in probabilistic inference don't really matter. This paper considers the idea that we can make a probabilistic model simpler by making fewe...
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage c...