Sciweavers

620 search results - page 93 / 124
» About the logical relations between cases and rules
Sort
View
WSC
2007
15 years 3 months ago
Using intelligent agents to understand management practices and retail productivity
Intelligent agents offer a new and exciting way of understanding the world of work. In this paper we apply agentbased modeling and simulation to investigate a set of problems in a...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
ICALP
2011
Springer
14 years 4 months ago
On the Advice Complexity of the k-Server Problem
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...
Hans-Joachim Böckenhauer, Dennis Komm, Rastis...
SODA
2004
ACM
104views Algorithms» more  SODA 2004»
15 years 2 months ago
Tight bounds for the partial-sums problem
We close the gaps between known lower and upper bounds for the online partial-sums problem in the RAM and group models of computation. If elements are chosen from an abstract grou...
Mihai Patrascu, Erik D. Demaine
TC
1998
15 years 2 months ago
Propagating Integrity Information among Interrelated Databases
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...
Arnon Rosenthal, Edward Sciore
CSFW
2010
IEEE
15 years 5 months ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...