1631 search results - page 140 / 327 » Observing Functional Logic Computations |
186
click to vote
AB
2008
Springer
16 years 22 days ago
2008
Springer
In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a...
187
click to vote
AAAI
2006
15 years 7 months ago
2006
Partially observable Markov decision processes (POMDPs) are an intuitive and general way to model sequential decision making problems under uncertainty. Unfortunately, even approx...
158
click to vote
IOR
2008
15 years 6 months ago
2008
Estimating the arrival rate function of a non-homogeneous Poisson process based on observed arrival data is a problem naturally arising in many applications. Cubic spline function...
154
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
171
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...