Sciweavers

8056 search results - page 1246 / 1612
» Object Behavior Analysis
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 1 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
GECCO
2004
Springer
104views Optimization» more  GECCO 2004»
16 years 1 days ago
Optimal Operating Conditions for Overhead Crane Maneuvering Using Multi-objective Evolutionary Algorithms
While operating a crane for maximum productivity, the time of operation and the required energy are two important conflicting factors faced by a crane operator. In such a case, tr...
Kalyanmoy Deb, Naveen Kumar Gupta
GPCE
2004
Springer
16 years 1 days ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
Davide Ancona, Eugenio Moggi
ICFCA
2004
Springer
16 years 1 days ago
Background Knowledge in Concept Graphs
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
Frithjof Dau
ICIAR
2004
Springer
16 years 1 days ago
Automatic Image Segmentation Using a Deformable Model Based on Charged Particles
Abstract. We present a method for automatic segmentation of grey-scale images, based on a recently introduced deformable model, the charged-particle model (CPM). The model is inspi...
Andrei Jalba, Michael H. F. Wilkinson, Jos B. T. M...
« Prev « First page 1246 / 1612 Last » Next »