3820 search results - page 261 / 764 » Bounded Model Debugging |
173
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
134
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
143
click to vote
MSS
2008
IEEE
15 years 3 months ago
2008
IEEE
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...
137
Voted
IM
2007
15 years 3 months ago
2007
Vertex pursuit games, such as the game of Cops and Robbers, are a simplified model for network security. In these games, cops try to capture a robber loose on the vertices of the ...
112
click to vote
AUTOMATICA
2004
15 years 3 months ago
2004
In any real-life identification problem, only a finite number of data points is available. On the other hand, almost all results in stochastic identification pertain to asymptotic...