Sciweavers

8582 search results - page 280 / 1717
» Here or There
Sort
View
160
Voted
COCOON
2009
Springer
16 years 1 months ago
Hierarchies and Characterizations of Stateless Multicounter Machines
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
Oscar H. Ibarra, Ömer Egecioglu
COMPLEX
2009
Springer
16 years 1 months ago
Immunization of Geographical Networks
We numerically investigate the epidemic spread phenomena and efficient immunization strategies on complex networks embedded in geometry. It is assumed that there exists an unavoida...
Bing Wang, Kazuyuki Aihara, Beom Jun Kim
CONCUR
2009
Springer
16 years 1 months ago
Contracts for Mobile Processes
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
Giuseppe Castagna, Luca Padovani
COST
2009
Springer
270views Multimedia» more  COST 2009»
16 years 1 months ago
Audiovisual Tools for Phonetic and Articulatory Visualization in Computer-Aided Pronunciation Training
This paper reviews interactive methods for improving the phonetic competence of subjects in the case of second language learning as well as in the case of speech therapy for subjec...
Bernd J. Kröger, Peter Birkholz, Rüdiger...
173
Voted
DGCI
2009
Springer
16 years 1 months ago
Distances on Lozenge Tilings
In this paper, a structural property of the set of lozenge tilings of a 2n-gon is highlighted. We introduce a simple combinatorial value called Hamming-distance, which is a lower b...
Olivier Bodini, Thomas Fernique, Eric Rémil...