Sciweavers

16430 search results - page 2874 / 3286
» On Computable Tree Functions
Sort
View
FSTTCS
2004
Springer
16 years 7 days ago
Adaptive Stabilization of Reactive Protocols
A self-stabilizing distributed protocol can recover from any state-corrupting fault. A self-stabilizing protocol is called adaptive if its recovery time is proportional to the numb...
Shay Kutten, Boaz Patt-Shamir
GECCO
2004
Springer
16 years 7 days ago
Limit Cycle Prediction in Multivariable Nonlinear Systems Using Genetic Algorithms
Abstract. This paper presents an intelligent method based on multiuobjective genetic algorithm (MOGA) for prediction of limit cycle in multivariable nonlinear systems. First we add...
Farzan Rashidi, Mehran Rashidi
GECCO
2004
Springer
160views Optimization» more  GECCO 2004»
16 years 7 days ago
Finding Effective Software Metrics to Classify Maintainability Using a Parallel Genetic Algorithm
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
Rodrigo A. Vivanco, Nicolino J. Pizzi
HYBRID
2004
Springer
16 years 7 days ago
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems
Abstract. In this paper we model coupled genetic and metabolic networks as hybrid systems. The vector fields are multi - affine, i.e., have only product - type nonlinearities to a...
Calin Belta, Peter Finin, Luc C. G. J. M. Habets, ...
ICCS
2004
Springer
16 years 7 days ago
A Cartesian Closed Category of Approximable Concept Structures
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
Pascal Hitzler, Guo-Qiang Zhang
« Prev « First page 2874 / 3286 Last » Next »