Sciweavers

2890 search results - page 386 / 578
» A Multi-agent Model to Develop Knowledge Management Systems
Sort
View
110
Voted
FMOODS
2007
14 years 11 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
97
Voted
BIOSYSTEMS
2007
115views more  BIOSYSTEMS 2007»
14 years 10 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
80
Voted
CAISE
2004
Springer
15 years 3 months ago
MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
Jernej Kovse, Theo Härder
EOR
2008
123views more  EOR 2008»
14 years 10 months ago
Fixed versus flexible production systems: A real options analysis
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
Dalila B. M. M. Fontes
ESWS
2010
Springer
15 years 3 months ago
A Hybrid Model and Computing Platform for Spatio-semantic Trajectories
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
Zhixian Yan, Christine Parent, Stefano Spaccapietr...