Sciweavers

7890 search results - page 1408 / 1578
» The MathSAT 3 System
Sort
View
162
Voted
FSTTCS
2005
Springer
15 years 10 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
144
Voted
GECCO
2005
Springer
180views Optimization» more  GECCO 2005»
15 years 10 months ago
Inference of gene regulatory networks using s-system and differential evolution
In this work we present an improved evolutionary method for inferring S-system model of genetic networks from the time series data of gene expression. We employed Differential Ev...
Nasimul Noman, Hitoshi Iba
119
Voted
GECCO
2005
Springer
116views Optimization» more  GECCO 2005»
15 years 10 months ago
Terrain generation using genetic algorithms
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
TeongJoo Ong, Ryan Saunders, John Keyser, John J. ...
HUC
2005
Springer
15 years 10 months ago
Fast and Robust Interface Generation for Ubiquitous Applications
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
Krzysztof Gajos, David B. Christianson, Raphael Ho...
ICANN
2005
Springer
15 years 10 months ago
Self Organizing Map (SOM) Approach for Classification of Power Quality Events
In this work, Self Organizing Map (SOM) is used in order to classify the types of defections in electrical systems, known as Power Quality (PQ) events. The features for classificat...
Emin Germen, Dogãn Gökhan Ece, Öm...
« Prev « First page 1408 / 1578 Last » Next »