8917 search results - page 475 / 1784 » Abstraction in Algorithm Animation |
165
Voted
ISPEC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we discuss the problem of collusion secure fingerprinting. In the first part of our contribution we prove the existence of equidistant codes that can be u...
162
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
175
click to vote
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
165
click to vote
ECML
2004
Springer
16 years 7 days ago
2004
Springer
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
160
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A scheduling algorithm for satellites imaging tasks in a dynamic and uncertain environment. The environment is dynamic in the sense that imaging tasks will be added or re...