Sciweavers

5600 search results - page 1069 / 1120
» Synthesizing robust systems
Sort
View
SIGMOD
2011
ACM
189views Database» more  SIGMOD 2011»
13 years 26 days ago
We challenge you to certify your updates
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
Su Chen, Xin Luna Dong, Laks V. S. Lakshmanan, Div...
CIKM
2011
Springer
12 years 10 months ago
Semantic data markets: a flexible environment for knowledge management
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
Roberto De Virgilio, Giorgio Orsi, Letizia Tanca, ...
SIGIR
2012
ACM
12 years 14 days ago
Time-based calibration of effectiveness measures
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
Mark D. Smucker, Charles L. A. Clarke
CVPR
2012
IEEE
12 years 14 days ago
View invariant human action recognition using histograms of 3D joints
In this paper, we present a novel approach for human action recognition with histograms of 3D joint locations (HOJ3D) as a compact representation of postures. We extract the 3D sk...
Lu Xia, Chia-Chih Chen, J. K. Aggarwal
TKDE
2012
199views Formal Methods» more  TKDE 2012»
12 years 13 days ago
Subscriber Assignment for Wide-Area Content-Based Publish/Subscribe
— We study the problem of assigning subscribers to brokers in a wide-area content-based publish/subscribe system. A good assignment should consider both subscriber interests in t...
Albert Yu, Pankaj K. Agarwal, Jun Yang
« Prev « First page 1069 / 1120 Last » Next »