Sciweavers

7623 search results - page 1276 / 1525
» Constructive Volume Modeling
Sort
View
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
15 years 10 months ago
Dynamical blueprints: exploiting levels of system-environment interaction
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
Nicolás S. Estévez, Hod Lipson
ICLP
2007
Springer
15 years 10 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
IDEAL
2007
Springer
15 years 10 months ago
Energy Saving by Means of Fuzzy Systems
It is well known that global sustainability must begin with human actions. A reduction of the consumed energy in the heating systems is one of such possible actions. The higher the...
José Ramón Villar, Enrique A. de la ...
MCAM
2007
Springer
238views Multimedia» more  MCAM 2007»
15 years 10 months ago
A Three-Level Scheme for Real-Time Ball Tracking
A three-level method is proposed to achieve robust and real-time ball tracking in soccer videos. It includes object-, intra-trajectory-, and intertrajectory-level processing. Due t...
Xiaofeng Tong, Tao Wang, Wenlong Li, Yimin Zhang, ...
OTM
2007
Springer
15 years 10 months ago
Property-Preserving Evolution of Components Using VPA-Based Aspects
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
Dong Ha Nguyen, Mario Südholt
« Prev « First page 1276 / 1525 Last » Next »