Sciweavers

1895 search results - page 4 / 379
» Modular Functional Descriptions
Sort
View
ICCSA
2009
Springer
14 years 16 days ago
YAO: A Software for Variational Data Assimilation Using Numerical Models
Variational data assimilation consists in estimating control parameters of a numerical model in order to minimize the misfit between the forecast values and some actual observatio...
Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie ...
ENTCS
2002
132views more  ENTCS 2002»
13 years 5 months ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
DLOG
2001
13 years 7 months ago
Preserving Modularity in XML Encoding of Description Logics
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
Jérôme Euzenat
GECCO
2004
Springer
134views Optimization» more  GECCO 2004»
13 years 11 months ago
A Descriptive Encoding Language for Evolving Modular Neural Networks
Evolutionary algorithms are a promising approach for the automated design of artificial neural networks, but they require a compact and efficient genetic encoding scheme to repres...
Jae-Yoon Jung, James A. Reggia
ECAI
2008
Springer
13 years 7 months ago
Semantic Modularity and Module Extraction in Description Logics
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wol...