1982 search results - page 78 / 397 » Parametricity and dependent types |
EMNLP
2006
14 years 11 months ago
2006
Co-occurrence analysis has been used to determine related words or terms in many NLP-related applications such as query expansion in Information Retrieval (IR). However, related w...
ICAI
2004
14 years 11 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...
100
click to vote
VMV
2001
14 years 11 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-...
IJON
2006
14 years 10 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...
ICASSP
2011
IEEE
14 years 1 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 ...