Sciweavers

1523 search results - page 70 / 305
» Detecting and Sketching the Common
Sort
View
PPOPP
2003
ACM
15 years 3 months ago
Hybrid dynamic data race detection
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
Robert O'Callahan, Jong-Deok Choi
HLK
2003
IEEE
15 years 3 months ago
Bayesian Reconstruction of 3D Shapes and Scenes From A Single Image
It’s common experience for human vision to perceive full 3D shape and scene from a single 2D image with the occluded parts “filled-in” by prior visual knowledge. In this pa...
Feng Han, Song Chun Zhu
KI
2002
Springer
14 years 9 months ago
Description Logics for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
Franz Baader, Ian Horrocks, Ulrike Sattler
WILF
2007
Springer
108views Fuzzy Logic» more  WILF 2007»
15 years 3 months ago
Recognizing Humor Without Recognizing Meaning
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
Jonas Sjöbergh, Kenji Araki
SACRYPT
1998
Springer
129views Cryptology» more  SACRYPT 1998»
15 years 2 months ago
An Accurate Evaluation of Maurer's Universal Test
Maurer's universal test is a very common randomness test, capable of detecting a wide gamut of statistical defects. The algorithm is simple (a few Java code lines), flexible (...
Jean-Sébastien Coron, David Naccache