1716 search results - page 167 / 344 » Proving Conditional Termination |
TNC
2004
15 years 2 months ago
2004
A very practical network problem for the effective deployment of a transatlantic computational GRID which is the current under-utilisation of the newly available fat long pipes dr...
72
Voted
ACL
1997
15 years 2 months ago
1997
We describe a simple variant of the interpolated Markov model with nonemitting state transitions and prove that it is strictly more powerful than any Markov model. More importantl...
103
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
75
Voted
AML
2008
15 years 25 days ago
2008
We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theorie...
95
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...