Sciweavers

1827 search results - page 168 / 366
» Automatic thesaurus construction
Sort
View
145
Voted
ATC
2009
Springer
15 years 11 months ago
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-P...
ATVA
2009
Springer
149views Hardware» more  ATVA 2009»
15 years 11 months ago
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
Jens Oehlerking, Oliver E. Theel
EUROPAR
2009
Springer
15 years 11 months ago
XJava: Exploiting Parallelism with Object-Oriented Stream Programming
Abstract. This paper presents the XJava compiler for parallel programs. It exploits parallelism based on an object-oriented stream programming paradigm. XJava extends Java with new...
Frank Otto, Victor Pankratius, Walter F. Tichy
CRV
2008
IEEE
192views Robotics» more  CRV 2008»
15 years 11 months ago
Realtime Visualization of Monocular Data for 3D Reconstruction
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
Adam Rachmielowski, Neil Birkbeck, Martin Jäg...
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
15 years 10 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson