2954 search results - page 303 / 591 » Beyond |
196
click to vote
CAISE
2007
Springer
16 years 25 days ago
2007
Springer
Radio frequency identification (RFID), and more recently the development of Near Field Communication (NFC) technology, have popularized the idea of linking real-world products wit...
165
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
144
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
The text of this paper has passed across many Internet routers on its way to the reader, but some routers will not pass it along unfettered because of censored words it contains. ...
177
click to vote
CIE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
200
click to vote
CLEF
2007
Springer
16 years 25 days ago
2007
Springer
This paper accounts for Priberam's participation in the monolingual question answering (QA) track of CLEF 2007. In previous participations, Priberam’s QA system obtained en...