827 search results - page 97 / 166 » Patterns for Timed Property Specifications |
161
click to vote
CGF
2010
15 years 6 months ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
169
click to vote
TCS
2008
15 years 6 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
170
click to vote
ECCC
2000
15 years 6 months ago
2000
We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the graph has a second eigenvalue bounded above by a...
157
click to vote
JSAC
2010
15 years 1 months ago
2010
Underwater Acoustic Sensor Networks (UW-ASNs) consist of stationary or mobile nodes such as Autonomous Underwater Vehicles (AUVs), which may be classified as propellerdriven vehicl...