8699 search results - page 173 / 1740 » Elements of the Theory of Computation |
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...
RTA
2009
Springer
15 years 6 months ago
2009
Springer
It is known that the first-order theory with a single predicate → that denotes one-step rewriting reduction on terms is undecidable already for formulae with ∃∀ prefix. Sev...
ICPR
2004
IEEE
16 years 24 days ago
2004
IEEE
The efficiency of three tracking reliability metrics based on information theory and normalized correlation is examined in this paper. The two information theory tools used for th...
UC
2009
Springer
15 years 6 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...