Sciweavers

7892 search results - page 214 / 1579
» Programming with Models
Sort
View
PODS
1989
ACM
129views Database» more  PODS 1989»
15 years 5 months ago
The Alternating Fixpoint of Logic Programs with Negation
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
Allen Van Gelder
BMCBI
2007
161views more  BMCBI 2007»
15 years 1 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
BMCBI
2008
111views more  BMCBI 2008»
15 years 1 months ago
GENOMEPOP: A program to simulate genomes in populations
Background: There are several situations in population biology research where simulating DNA sequences is useful. Simulation of biological populations under different evolutionary...
Antonio Carvajal-Rodríguez
VL
2000
IEEE
118views Visual Languages» more  VL 2000»
15 years 6 months ago
Towards Generic Rule-Based Visual Programming
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
Berthold Hoffmann, Mark Minas
CDES
2006
118views Hardware» more  CDES 2006»
15 years 3 months ago
Improving the System Performance by a Dynamic File Prediction Model
As the speed gap between CPU and I/O is getting wider and wider, I/O latency plays a more important role to the overall system performance than it used to be. Prefetching consecut...
Tsozen Yeh, Joseph Arul, Kuo-Hsin Tien, I-Fan Chen...