Sciweavers

4172 search results - page 509 / 835
» Computing Machinery and Understanding
Sort
View
COORDINATION
2005
Springer
15 years 11 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
COORDINATION
2005
Springer
15 years 11 months ago
A Case Study of Web Services Orchestration
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
Manuel Mazzara, Sergio Govoni
CVBIA
2005
Springer
15 years 11 months ago
Simultaneous Segmentation and Motion Recovery in 3D Cardiac Image Analysis
Accurate and robust estimation of the three-dimensional left ventricular geometry and deformation has important clinical implications for better diagnosis and understanding of isch...
Ling Zhuang, Huafeng Liu, Wei Chen, Hujun Bao, Pen...
DIGRA
2005
Springer
15 years 11 months ago
Girls Creating Games: Challenging Existing Assumptions about Game Content
In a reinforcing cycle, few females create games and fewer girls than boys play games. In this paper, we increase our understanding of what girls like about games and gaming by de...
Jill Denner, Steven Bean, Linda L. Werner
GECCO
2005
Springer
129views Optimization» more  GECCO 2005»
15 years 11 months ago
Real-coded crossover as a role of kernel density estimation
This paper presents a kernel density estimation method by means of real-coded crossovers. Estimation of density algorithms (EDAs) are evolutionary optimization techniques, which d...
Jun Sakuma, Shigenobu Kobayashi