Sciweavers

2869 search results - page 130 / 574
» The Inference Problem: A Survey
Sort
View
107
Voted
GECCO
2005
Springer
180views Optimization» more  GECCO 2005»
15 years 6 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
GECCO
2004
Springer
15 years 6 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
15 years 6 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
INFOCOM
1999
IEEE
15 years 5 months ago
Inference of Multicast Routing Trees and Bottleneck Bandwidths Using End-to-end Measurements
Abstract-- The efficacy of end-to-end multicast transport protocols depends critically upon their ability to scale efficiently to a large number of receivers. Several research mult...
Sylvia Ratnasamy, Steven McCanne
130
Voted
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 4 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen