Sciweavers

940 search results - page 74 / 188
» Rules and Strategies in Java
Sort
View
ASP
2003
Springer
15 years 8 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke
IFIP
2003
Springer
15 years 8 months ago
TAPI: Transactions for Accessing Public Infrastructure
This paper describes TAPI, an offline scheme intended for general Internet-based micropayments. TAPI, which extends and combines concepts from the KeyNote Microchecks and OTPCoins...
Matt Blaze, John Ioannidis, Sotiris Ioannidis, Ang...
NIPS
2004
15 years 4 months ago
Solitaire: Man Versus Machine
In this paper, we use the rollout method for policy improvement to analyze a version of Klondike solitaire. This version, sometimes called thoughtful solitaire, has all cards reve...
Xiang Yan, Persi Diaconis, Paat Rusmevichientong, ...
215
Voted
TSP
2008
174views more  TSP 2008»
15 years 3 months ago
Complex ICA Using Nonlinear Functions
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
Tülay Adali, Hualiang Li, Mike Novey, J.-F. C...
ICDCS
1998
IEEE
15 years 7 months ago
A Framework for Consistent, Replicated Web Objects
Despite the extensive use of caching techniques, the Web is overloaded. While the caching techniques currently used help some, it would be better to use different caching and repli...
Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen,...