Sciweavers

2046 search results - page 323 / 410
» High Performance Data Broadcasting Systems
Sort
View
128
Voted
FORTE
2008
15 years 5 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
116
Voted
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 3 months ago
VXA: A Virtual Architecture for Durable Compressed Archives
Data compression algorithms change frequently, and obsolete decoders do not always run on new hardware and operating systems, threatening the long-term usability of content archiv...
Bryan Ford
99
Voted
PVLDB
2010
66views more  PVLDB 2010»
15 years 2 months ago
Seaform: Search-As-You-Type in Forms
Form-style interfaces have been widely used to allow users to access information. In this demonstration paper, we develop a new search paradigm in form-style query interfaces, cal...
Hao Wu, Guoliang Li, Chen Li, Lizhu Zhou
121
Voted
SIGIR
2005
ACM
15 years 9 months ago
The maximum entropy method for analyzing retrieval measures
We present a model, based on the maximum entropy method, for analyzing various measures of retrieval performance such as average precision, R-precision, and precision-at-cutoffs....
Javed A. Aslam, Emine Yilmaz, Virgiliu Pavlu
144
Voted
BMVC
2001
15 years 6 months ago
A Buyer's Guide to Euclidean Elliptical Cylindrical and Conical Surface Fitting
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
Petko Faber, Robert B. Fisher