1619 search results - page 144 / 324 » Structure in the Space of Value Functions |
151
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We discuss current progress towards two complementary web resources being developed for the Renal Physiome: (1) a database (QKDB) for quantitative and anatomical data at all level...
177
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...
159
click to vote
Publication
_1990.jpg "Arity Raiser and its Use in Program Specialization")
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
170
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
175
click to vote
IJCAI
2001
15 years 8 months ago
2001
Many state-of-the-art heuristic planners derive their heuristic function by relaxing the planning task at hand, where the relaxation is to assume that all delete lists are empty. ...