Sciweavers

3268 search results - page 470 / 654
» Structured Service Composition
Sort
View
KI
2007
Springer
16 years 18 days ago
A General Framework for Encoding and Evolving Neural Networks
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...
Yohannes Kassahun, Jan Hendrik Metzen, Jose de Gea...
TLCA
2007
Springer
16 years 18 days ago
Computation by Prophecy
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
Ana Bove, Venanzio Capretta
ISCC
2006
IEEE
188views Communications» more  ISCC 2006»
16 years 15 days ago
Dejong Function Optimization by Means of a Parallel Approach to Fuzzified Genetic Algorithm
Genetic Algorithms are very powerful search methods that are used in different optimization problems. Parallel versions of genetic algorithms are easily implemented and usually in...
Ebrahim Bagheri, Hossein Deldari
SEW
2006
IEEE
16 years 14 days ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr...
ISSTA
2006
ACM
16 years 13 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan