Sciweavers

17082 search results - page 3207 / 3417
» Abstractions for Mobile Computation
Sort
View
ATAL
2011
Springer
14 years 6 months ago
Towards a unifying characterization for quantifying weak coupling in dec-POMDPs
Researchers in the field of multiagent sequential decision making have commonly used the terms “weakly-coupled” and “loosely-coupled” to qualitatively classify problems i...
Stefan J. Witwicki, Edmund H. Durfee
SOFSEM
2012
Springer
14 years 2 months ago
Turing Machines for Dummies - Why Representations Do Matter
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
Peter van Emde Boas
RECOMB
2012
Springer
13 years 9 months ago
Recovering the Tree-Like Trend of Evolution Despite Extensive Lateral Genetic Transfer: A Probabilistic Analysis
Abstract. Lateral gene transfer (LGT) is a common mechanism of nonvertical evolution where genetic material is transferred between two more or less distantly related organisms. It ...
Sebastien Roch, Sagi Snir
GI
2007
Springer
16 years 24 days ago
KiMM - Lernen und Verstehen mit Tangible Media
Abstract: Bezugnehmend auf das McLuhan’sche Postulat der Medien als menschliche Extensionen werden praktische Beispiele der Entwicklung von Tangible Media und deren konkreter Eins...
Thomas Winkler, Michael Herczeg
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
16 years 24 days ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
« Prev « First page 3207 / 3417 Last » Next »