2356 search results - page 200 / 472 » Characterizations of postman sets |
182
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
226
click to vote
TSMC
2002
15 years 6 months ago
2002
When reliable prior bounds on the acceptable errors between the data and corresponding model outputs are available, bounded-error estimation techniques make it possible to characte...
170
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
212
click to vote
IPSN
2007
Springer
16 years 1 months ago
2007
Springer
We present the design and implementation of the Illuminator, a preliminary sensor network-based intelligent light control system for entertainment and media production. Unlike mos...
212
click to vote
WINE
2005
Springer
16 years 20 days ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...