3605 search results - page 266 / 721 » Associated types with class |
221
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
253
click to vote
MMDB
2003
ACM
16 years 15 days ago
2003
ACM
The increased use of video data sets for multimedia-based applications has created a demand for strong video database support, including efficient methods for handling the content...
254
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
213
click to vote
ANLP
1994
15 years 8 months ago
1994
This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
200
click to vote
EJC
2009
15 years 5 months ago
2009
The starting point of this paper is the external surface of a word form, for example the agent-external acoustic perturbations constituting a language sign in speech or the dots o...