Sciweavers

1679 search results - page 132 / 336
» Strong order equivalence
Sort
View
ATAL
2004
Springer
14 years 3 months ago
MinneTAC Sales Strategies for Supply Chain TAC
We describe two sales strategies used by our agent, MinneTAC, for the 2003 Supply Chain Management Trading Agent Competition (TAC SCM). Both strategies estimate, as the game progr...
Wolfgang Ketter, Elena Kryzhnyaya, Steven Damer, C...
FSTTCS
2003
Springer
14 years 3 months ago
Moderately Hard Functions: From Complexity to Spam Fighting
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
Moni Naor
ISMIS
1994
Springer
14 years 2 months ago
Reasoning About the Safety of Information: From Logical Formalization to Operational Definition
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
Laurence Cholvy, Robert Demolombe, Andrew J. I. Jo...
ACG
2006
Springer
14 years 1 months ago
Enhancing Search Efficiency by Using Move Categorization Based on Game Progress in Amazons
Amazons is a two-player perfect information game with a high branching factor, particularly in the opening. Therefore, improving the efficiency of the search is important for impro...
Yoshinori Higashiuchi, Reijer Grimbergen
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
13 years 10 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca