1818 search results - page 158 / 364 » Granularity-Adaptive Proof Presentation |
108
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
136
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Proofs and empirical evidence are presented which show that a subset of algorithms can have identical performance over a subset of functions, even when the subset of functions is ...
135
click to vote
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
137
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
106
Voted
ACTA
2010
15 years 3 months ago
2010
Abstract This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones...