1999 search results - page 146 / 400 » Dependently Typed Grammars |
127
click to vote
ESANN
2007
15 years 7 months ago
2007
The cost of maintaining a given level of activity in a neuronal network depends on its size and degree of connectivity. Should a neural function require large-size fully-connected ...
205
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
174
click to vote
TMM
2002
15 years 6 months ago
2002
This paper presents the rudiments of a theory of schema design for databases containing high dimensional features of the type used for describing multimedia data. We introduce a mo...
166
click to vote
IRAL
2003
ACM
15 years 11 months ago
2003
ACM
Namedentityrecognition isimportantinsophisticatedinformation service system such as Question Answering and Text Mining since most of the answer type and text mining unit depend on...
174
click to vote
ACL
2007
15 years 7 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...