4340 search results - page 327 / 868 » Formal Methods and Cryptography |
174
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
212
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
189
click to vote
WACV
2007
IEEE
16 years 29 days ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
176
click to vote
TSD
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
181
click to vote
TLDI
2005
ACM
16 years 8 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...