5964 search results - page 1100 / 1193 » A theory of speculative computation |
SIAMSC
2008
15 years 14 days ago
2008
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...
106
Voted
SIGECOM
2008
ACM
15 years 14 days ago
2008
ACM
We introduce a class of voting rules called generalized scoring rules. Under such a rule, each vote generates a vector of k scores, and the outcome of the voting rule is based onl...
108
click to vote
SIGECOM
2008
ACM
15 years 14 days ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
147
Voted
TASE
2008
IEEE
15 years 14 days ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
123
click to vote
TCS
2008
15 years 14 days ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...