Sciweavers

1652 search results - page 120 / 331
» Integration in Real PCF
Sort
View
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 4 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
116
Voted
PVLDB
2010
151views more  PVLDB 2010»
15 years 2 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...
159
Voted
SIGMOD
2012
ACM
190views Database» more  SIGMOD 2012»
13 years 7 months ago
Sample-driven schema mapping
End-users increasingly find the need to perform light-weight, customized schema mapping. State-of-the-art tools provide powerful functions to generate schema mappings, but they u...
Li Qian, Michael J. Cafarella, H. V. Jagadish
175
Voted
SDM
2012
SIAM
340views Data Mining» more  SDM 2012»
13 years 7 months ago
IntruMine: Mining Intruders in Untrustworthy Data of Cyber-physical Systems
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
Lu An Tang, Quanquan Gu, Xiao Yu, Jiawei Han, Thom...
143
Voted
CVPR
2005
IEEE
16 years 6 months ago
Radon-Based Structure from Motion without Correspondences
We present a novel approach for the estimation of 3Dmotion directly from two images using the Radon transform. We assume a similarity function defined on the crossproduct of two i...
Ameesh Makadia, Christopher Geyer, Shankar Sastry,...