3742 search results - page 378 / 749 » On the Use of Formal Techniques for Validation |
181
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
159
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
Stability is a common tool to verify the validity of sample based algorithms. In clustering it is widely used to tune the parameters of the algorithm, such as the number k of clust...
188
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
180
click to vote
CNSR
2007
IEEE
15 years 8 months ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
168
click to vote
LREC
2010
15 years 8 months ago
2010
Grammars play an important role in many Natural Language Processing (NLP) applications. The traditional approach to creating grammars manually, besides being labor-intensive, has ...