1999 search results - page 97 / 400 » Dependently Typed Grammars |
166
click to vote
ICAI
2004
15 years 7 months ago
2004
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...
183
click to vote
VMV
2001
15 years 7 months ago
2001
Closed streamlines are a missing part in most visualizations of vector field topology. In this paper, we propose a method which detects closed streamlines in a time-dependent two-...
101
click to vote
IJON
2006
15 years 6 months ago
2006
The spike-triggered average voltage (STV) is an experimentally measurable quantity that is determined by both the membrane response properties and the statistics of the synaptic d...
132
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper aims to accomplish the work of assessing the aesthetic quality of a video. Unlike previous assessing works focusing mainly on the extraction of aesthetic features in a ...
168
click to vote
JFP
2008
15 years 6 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...