12981 search results - page 2165 / 2597 » Model Checking (Abstract) |
203
Voted
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—This paper presents a model and theory for streaming layered video. We model the bandwidth available to the streaming application as a stochastic process whose statistic...
186
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Object viewpoint classification aims at predicting an approximate 3D pose of objects in a scene and is receiving increasing attention. State-of-the-art approaches to view...
183
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
186
click to vote
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
187
Voted
AB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...