4401 search results - page 244 / 881 » Computing with Default Logic |
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
136
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
127
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
- This paper presents a placement-driven technology mapping procedure based on fuzzy delay curves. The fuzziness has been introduced to deal with the inherent vagueness in wiring l...
148
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
188
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...