1368 search results - page 187 / 274 » Generalized Rook Polynomials |
151
click to vote
ALT
2004
Springer
16 years 2 months ago
2004
Springer
A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in ...
146
click to vote
BIRTHDAY
2009
Springer
15 years 12 months ago
2009
Springer
We introduce a new class of games, asynchronous congestion games (ACGs). In an ACG, each player has a task that can be carried out by any element of a set of resources, and each r...
139
click to vote
LATA
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...
143
click to vote
TACAS
2009
Springer
15 years 12 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
163
click to vote
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...