878 search results - page 79 / 176 » Choice and development |
118
Voted
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
A distinguishing characteristic of wireless sensor networks is the opportunity to exploit characteristics of the application at lower layers. This approach is encouraged by device...
172
Voted
SPEECH
2011
14 years 11 months ago
2011
This paper first introduces a newly-recorded high quality Romanian speech corpus designed for speech synthesis, called “RSS”, along with Romanian front-end text processing mo...
288
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
136
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
135
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
PhotoScope visualizes the spatiotemporal coverage of photos in a photo collection. It extends the standard photo browsing paradigm in two main ways: visualizing spatial coverage o...