Sciweavers

24421 search results - page 4518 / 4885
» Communicating Complex Systems
Sort
View
CVPR
2012
IEEE
13 years 7 months ago
Example-based cross-modal denoising
Widespread current cameras are part of multisensory systems with an integrated computer (smartphones). Computer vision thus starts evolving to cross-modal sensing, where vision an...
Dana Segev, Yoav Y. Schechner, Michael Elad
CVPR
2012
IEEE
13 years 7 months ago
The inverted multi-index
A new data structure for efficient similarity search in very large datasets of high-dimensional vectors is introduced. This structure called the inverted multi-index generalizes ...
Artem Babenko, Victor S. Lempitsky
SPIN
2012
Springer
13 years 7 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
ICDT
2012
ACM
226views Database» more  ICDT 2012»
13 years 7 months ago
Bounded repairability for regular tree languages
We consider the problem of repairing unranked trees (e.g., XML documents) satisfying a given restriction specification R (e.g., a DTD) into unranked trees satisfying a given targ...
Gabriele Puppis, Cristian Riveros, Slawek Staworko
TMC
2012
13 years 7 months ago
A Statistical Mechanics-Based Framework to Analyze Ad Hoc Networks with Random Access
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
Sunil Srinivasa, Martin Haenggi
« Prev « First page 4518 / 4885 Last » Next »