899 search results - page 126 / 180 » Cost Analysis of Games, Using Program Logic |
81
Voted
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We design and analyze an on-line reordering buffer management algorithm with improved O log k log log k competitive ratio for non-uniform costs, where k is the buffer size. This i...
179
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing ...
136
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
105
click to vote
SBACPAD
2009
IEEE
15 years 8 months ago
2009
IEEE
RISC processors can be used to face the ever increasing demand for performance required by embedded systems. Nevertheless, this solution comes with the cost of poor code density. ...
119
click to vote
AAAI
1998
15 years 2 months ago
1998
The utility problem occurs when the cost of the acquired knowledge outweighs its bene ts. When the learner acquires control knowledge for speeding up a problem solver, the bene t ...