Sciweavers

3005 search results - page 514 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
DSRT
2008
IEEE
15 years 3 months ago
Lightweight Time Warp - A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
Qi Liu, Gabriel A. Wainer
SWAP
2007
15 years 3 months ago
Who the FOAF knows Alice? RDF Revocation in DBin 2.0
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating ...
Christian Morbidoni, Axel Polleres, Giovanni Tumma...
BIOSYSTEMS
2008
146views more  BIOSYSTEMS 2008»
15 years 2 months ago
The autonomy of biological individuals and artificial models
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
Alvaro Moreno, Arantza Etxeberria, Jon Umerez
125
Voted
BIOSYSTEMS
2007
115views more  BIOSYSTEMS 2007»
15 years 2 months ago
Evolving fuzzy rules to model gene expression
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...
Ricardo Linden, Amit Bhaya
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 2 months ago
Model-Driven Constraint Programming
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
Raphaël Chenouard, Laurent Granvilliers, Rica...