Sciweavers

2468 search results - page 318 / 494
» Aggregation operators 2003
Sort
View
EUROPAR
2003
Springer
14 years 2 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
EUROPAR
2003
Springer
14 years 2 months ago
Two Dimensional Airfoil Optimisation Using CFD in a Grid Computing Environment
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
Wenbin Song, Andy J. Keane, M. Hakki Eres, Graeme ...
EUROPAR
2003
Springer
14 years 2 months ago
Implementation of a Grid Computation Toolkit for Design Optimisation with Matlab and Condor
The process of design search and optimisation is characterised by its computationally intensive operations, which produce a problem well suited to Grid computing. Here we present a...
Gang Xue, Matt J. Fairman, Graeme E. Pound, Simon ...
EUSAI
2003
Springer
14 years 2 months ago
Lino, the User-Interface Robot
Abstract. This paper reports on the development of a domestic userinterface robot that is able to have natural human interaction by speech and emotional feedback. Natural interacti...
Ben J. A. Kröse, Josep M. Porta, Albert J. N....
FM
2003
Springer
98views Formal Methods» more  FM 2003»
14 years 2 months ago
Generating Counterexamples for Multi-valued Model-Checking
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
Arie Gurfinkel, Marsha Chechik