3228 search results - page 431 / 646 » Computationally Sound Proofs |
136
click to vote
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
110
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
139
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Service composition, which enables users to construct complex services from atomic services, is an essential feature for the usability of Mobile Ad hoc Networks (MANETs)....
157
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
On-line decision making often involves query processing over time-varying data which arrives in the form of data streams from distributed locations. In such environments typically...
139
Voted
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
Multimedia retrieval is going to play an increasingly important role in the future. Since the availability of digital media seems ever rising, not only the retrieval performance i...