1636 search results - page 234 / 328 » Type-Theoretic Functional Semantics |
108
Voted
JOLLI
2007
15 years 3 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
121
Voted
MAGS
2007
15 years 3 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
103
click to vote
AAI
1999
15 years 3 months ago
1999
There have been numerous attempts to provide a standardized definition of a computational agent, but little consensus has emerged. We propose a simple test for agenthood that can ...
117
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...
156
click to vote
CVIU
2008
15 years 3 months ago
2008
This paper presents a search engine architecture, RETIN, aiming at retrieving complex categories in large image databases. For indexing, a scheme based on a two-step quantization ...