Sciweavers

2720 search results - page 10 / 544
» How do we count
Sort
View
AGP
1994
IEEE
14 years 1 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
ICDE
2008
IEEE
149views Database» more  ICDE 2008»
14 years 4 months ago
Database systems on virtual machines: How much do you lose?
Virtual machine technologies offer simple and practical mechanisms to address many manageability problems in database systems. For example, these technologies allow for server con...
Umar Farooq Minhas, Jitendra Yadav, Ashraf Aboulna...
DAGSTUHL
2006
13 years 11 months ago
Prediction Markets: How Do Incentive Schemes Affect Prediction Accuracy?
The results of recent studies on prediction markets are encouraging. Prior experience demonstrates that markets with different incentive schemes predicted uncertain future events ...
Stefan Luckner
INFOCOM
2010
IEEE
13 years 8 months ago
How do Superpeer Networks Emerge?
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
Bivas Mitra, Abhishek Kumar Dubey, Sujoy Ghose, Ni...
CHI
2008
ACM
14 years 10 months ago
Understanding and characterizing insights: how do people gain insights using information visualization?
Even though "providing insight" has been considered one of the main purposes of information visualization (InfoVis), we feel that insight is still a not-well-understood ...
Ji Soo Yi, Youn ah Kang, John T. Stasko, Julie A. ...