Sciweavers

173 search results - page 20 / 35
» Asymptotic classes of finite structures
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
ICMAS
2000
13 years 8 months ago
Reasoning About Others: Representing and Processing Infinite Belief Hierarchies
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
Sviatoslav Brainov, Tuomas Sandholm
DM
2010
120views more  DM 2010»
13 years 7 months ago
Collineations and dualities of partial geometries
In this paper, we first prove some general results on the number of fixed points of collineations of finite partial geometries, and on the number of absolute points of dualities o...
Beukje Temmermans, Joseph A. Thas, Hendrik Van Mal...
SIGMETRICS
2002
ACM
142views Hardware» more  SIGMETRICS 2002»
13 years 7 months ago
Exact aggregate solutions for M/G/1-type Markov processes
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
Alma Riska, Evgenia Smirni
IFL
1997
Springer
136views Formal Methods» more  IFL 1997»
13 years 11 months ago
Fully Persistent Graphs - Which One To Choose?
Functional programs, by nature, operate on functional, or persistent, data structures. Therefore, persistent graphs are a prerequisite to express functional graph algorithms. In th...
Martin Erwig