3342 search results - page 612 / 669 » Symbolic Robustness Analysis |
132
click to vote
INFOCOM
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract--This paper presents a novel loss recovery scheme, Active Reliable Multicast (ARM), for large-scale reliable multicast. ARM is "active" in that routers in the mu...
158
click to vote
RIDE
1998
IEEE
15 years 9 months ago
1998
IEEE
The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popula...
153
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Conventional optical character recognition (OCR) systems operate on individual characters and words, and do not normally exploit document or collection context. We describe a Coll...
136
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
133
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
We describe the objectives and organization of the CLEF 2006 ad hoc track and discuss the main characteristics of the tasks offered to test monolingual, bilingual, and multilingual...