4502 search results - page 751 / 901 » Regular Model Checking |
155
click to vote
ISMAR
2008
IEEE
15 years 11 months ago
2008
IEEE
Field workers of utility companies are regularly engaged in outdoor tasks such as network planning, maintenance and inspection of underground infrastructure. Redlining is the term...
157
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents several parallel FFT algorithms with different degree of communication overhead for multiprocessors in Network-on-Chip(NoC) environment. Three different method...
151
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
171
click to vote
AIPR
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a method for registering and superresolving moving vehicles from aerial surveillance video. The challenge of vehicle super-resolution lies in the fact that vehicles ma...
149
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— High-speed backbones are regularly affected by various kinds of network anomalies, ranging from malicious attacks to harmless large data transfers. Different types of anomalies...