Sciweavers

4326 search results - page 518 / 866
» A Model for Process Service Interaction
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 2 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
NEUROSCIENCE
2001
Springer
15 years 9 months ago
Neural Mechanisms for Representing Surface and Contour Features
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...
Thorsten Hansen, Heiko Neumann
VRST
2000
ACM
15 years 9 months ago
Web-based 3D media information system
This paper introduces web-based 3D media information system. We first address two promising 3D modeling techniques, i.e., image-based 3D modeling and laser scanning based 3D model...
Yong-Moo Kwon, Ig-Jae Kim, Sang Chul Ahn, Hyoung-G...
KCAP
2011
ACM
14 years 7 months ago
Language resources extracted from Wikipedia
Wikipedia provides an interesting amount of text for more than hundred languages. This also includes languages where no reference corpora or other linguistic resources are easily ...
Denny Vrandecic, Philipp Sorg, Rudi Studer
FORMATS
2003
Springer
15 years 10 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek