Sciweavers

1528 search results - page 94 / 306
» Performance Assertion Checking
Sort
View
SIGMOD
2007
ACM
133views Database» more  SIGMOD 2007»
14 years 10 months ago
Making database systems usable
Database researchers have striven to improve the capability of a database in terms of both performance and functionality. We assert that the usability of a database is as importan...
H. V. Jagadish, Adriane Chapman, Aaron Elkiss, Mag...
WWW
2009
ACM
14 years 4 months ago
Instance-based probabilistic reasoning in the semantic web
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
Pedro Oliveira, Paulo Gomes
SIGECOM
2009
ACM
73views ECommerce» more  SIGECOM 2009»
14 years 4 months ago
But who will monitor the monitor?
Consider a group of individuals in a strategic environment with moral hazard and adverse selection, and suppose that providing incentives for a given outcome requires a monitor to...
David M. Rahman
SCAM
2007
IEEE
14 years 4 months ago
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
Matthew Naylor, Colin Runciman
AIIA
2007
Springer
14 years 4 months ago
Instance-Based Query Answering with Semantic Knowledge Bases
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito