Sciweavers

3155 search results - page 169 / 631
» How Are You Doing
Sort
View
CONTEXT
2001
Springer
14 years 1 months ago
Learning Appropriate Contexts
Genetic Programming is extended so that the solutions being evolved do so in the context of local domains within the total problem domain. This produces a situation where different...
Bruce Edmonds
EH
2000
IEEE
123views Hardware» more  EH 2000»
14 years 1 months ago
The Test Vector Problem and Limitations to Evolving Digital Circuits
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
Kosuke Imamura, James A. Foster, Axel W. Krings
HICSS
1999
IEEE
89views Biometrics» more  HICSS 1999»
14 years 1 months ago
Virtualization of Organizations: Consequences for Workflow Modeling
In this paper we propose to introduce novel constructs for workflow modeling in the context of changing the organization of work when virtualizing organizations. We do not only de...
Wolfgang Ortner, Christian Stary
IPPS
1999
IEEE
14 years 1 months ago
Examples of Program Composition Illustrating the Use of Universal Properties
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Michel Charpentier, K. Mani Chandy
COCO
1999
Springer
79views Algorithms» more  COCO 1999»
14 years 1 months ago
Non-Automatizability of Bounded-Depth Frege Proofs
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
Maria Luisa Bonet, Carlos Domingo, Ricard Gavald&a...