9110 search results - page 1438 / 1822 » Formally-Based Design Evaluation |
166
click to vote
LREC
2010
15 years 8 months ago
2010
We present the problem of categorizing web services according to a shallow ontology for presentation on a specialist portal, using their WSDL and associated textual documents foun...
179
click to vote
MEDIAFORENSICS
2010
15 years 8 months ago
2010
In the paper we present a watermarking scheme developed to meet the specific requirements of audio annotation watermarking robust against DA/AD conversion (watermark detection aft...
190
click to vote
NSDI
2010
15 years 8 months ago
2010
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
168
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
This paper introduces Jump, a prototype computer vision-based system that transforms paper-based architectural documents into tangible query interfaces. Specifically, Jump allows ...
171
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...