6616 search results - page 245 / 1324 » Can markets help |
LOPSTR
1994
Springer
14 years 2 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
TYPES
2000
Springer
14 years 2 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
FLAIRS
2008
14 years 1 months ago
2008
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
SOCRATES
2008
14 years 6 days ago
2008
In the university setting, e-learning courses represent a flexible resource that can tackle a range of difficulties pertaining to primary degree courses and post-graduate qualific...
WSC
1989
13 years 12 months ago
1989
To design a stochastic simulation experiment, it is helpful to have an estimate of the simulation run lengths required to achieve desired statistical precision. Preliminary estima...