Sciweavers

940 search results - page 74 / 188
» Rules and Strategies in Java
Sort
View
111
Voted
ASP
2003
Springer
15 years 5 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
70
Voted
IFIP
2003
Springer
15 years 5 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...
90
Voted
NIPS
2004
15 years 2 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, ...
97
Voted
TSP
2008
174views more  TSP 2008»
15 years 16 days 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 4 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,...