Sciweavers

1955 search results - page 50 / 391
» Can Computers Handle Adverbs
Sort
View
DCC
1998
IEEE
15 years 8 months ago
Lossy Compression of Partially Masked Still Images
Books and magazines often contain pages containing audacious mixtures of color images and text. Our problem consists in coding the background colors of a such documents without wa...
Léon Bottou, Steven Pigeon
148
Voted
AMW
2010
15 years 5 months ago
Multiresolution Cube Estimators for Sensor Network Aggregate Queries
In this work we present in-network techniques to improve the efficiency of spatial aggregate queries. Such queries are very common in a sensornet setting, demanding more targeted t...
Alexandra Meliou, Carlos Guestrin, Joseph M. Helle...
TSMC
2008
127views more  TSMC 2008»
15 years 3 months ago
Sensor Placement for Fault Diagnosis
An algorithm is developed for computing which sensors to add to obtain maximum fault detectability and fault isolability. The method is based on only the structural information in...
Mattias Krysander, Erik Frisk
JLP
2010
59views more  JLP 2010»
14 years 10 months ago
The proof monad
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
Florent Kirchner, César Muñoz
PRESENCE
2010
76views more  PRESENCE 2010»
14 years 10 months ago
Modularity for Large Virtual Reality Applications
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
Jérémie Allard, Jean-Denis Lesage, B...