12289 search results - page 635 / 2458 » computing 2006 |
188
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
196
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
210
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We define the first nontrivial polynomially recognizable subclass of P-matrix Generalized Linear Complementarity Problems (GLCPs) with a subexponential pivot rule. No suc...
170
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
181
click to vote
GC
2006
Springer
15 years 7 months ago
2006
Springer
We give a bound on the reconstructibility of an action G X in terms of the reconstructibility of a the action N X, where N is a normal subgroup of G, and the reconstructibility o...