1631 search results - page 112 / 327 » Observing Functional Logic Computations |
102
click to vote
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
NIPS
2007
15 years 1 months ago
2007
We study the problem of an apprentice learning to behave in an environment with an unknown reward function by observing the behavior of an expert. We follow on the work of Abbeel ...
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
81
Voted
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a shape population metric that reflects the interdependencies between points observed in a set of examples. It provides a notion of topology for shape and appearance m...
PADS
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...