7397 search results - page 1463 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
114
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
102
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
129
click to vote
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
Though both quantity and quality of semantic concept detection in video are continuously improving, it still remains unclear how to exploit these detected concepts as semantic ind...
102
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Robust sequence prediction is an essential component of an intelligent agent acting in a dynamic world. We consider the case of near-future event prediction by an online learning ...
134
click to vote
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...