880 search results - page 68 / 176 » Model checking erlang programs: the functional approach |
126
click to vote
EOR
2006
15 years 4 months ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
131
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
148
click to vote
EUROGP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...
159
click to vote
JMLR
2012
13 years 6 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
154
click to vote
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...