6059 search results - page 307 / 1212 » A Technique for Verifying Measurements |
195
click to vote
JIKM
2006
15 years 6 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
207
click to vote
PRL
2008
15 years 6 months ago
2008
The purpose of extractive summarization is to automatically select a number of indicative sentences, passages, or paragraphs from the original document according to a target summa...
154
click to vote
IEICET
2007
15 years 6 months ago
2007
The IEEE 802.11 family of specifications is by far the most prominent and successful technique for accessing WLANs. Because the channel used by wireless devices is a time-varying...
187
click to vote
IJCSA
2007
15 years 6 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...