Sciweavers

4719 search results - page 591 / 944
» Applications = Components GLoo
Sort
View
GECCO
2009
Springer
115views Optimization» more  GECCO 2009»
15 years 9 months ago
Rapid prototyping using evolutionary approaches: part 2
In this paper we extend the work done in [5], where authors have proposed a evolutionary multi-objective approach to Rapid Prototyping (RP), to decipher optimal build orientation ...
Nikhil Padhye, Subodh Kalia
MKM
2009
Springer
15 years 9 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
169
Voted
SEMWEB
2009
Springer
15 years 9 months ago
A New Perspective on Semantics of Data Provenance
: Data Provenance refers to the “origin”, “lineage”, and “source” of data. In this work, we examine provenance from a semantics perspective and present the W7 model, an...
Sudha Ram, Jun Liu
AUSAI
2001
Springer
15 years 9 months ago
Actions Made Explicit in BDI
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
Vineet Padmanabhan, Guido Governatori, Abdul Satta...
ICCS
2001
Springer
15 years 9 months ago
Computational Design and Performance of the Fast Ocean Atmosphere Model, Version One
The Fast Ocean Atmosphere Model (FOAM) is a climate system model intended for application to climate science questions that require long simulations. FOAM is a distributed-memory p...
Robert L. Jacob, Chad Schafer, Ian T. Foster, Mich...