7529 search results - page 354 / 1506 » The Modula-3 Type System |
204
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...
178
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The computing resources in a volunteer computing system are highly diverse in terms of software and hardware type, speed, availability, reliability, network connectivity, and othe...
204
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
185
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a multi-agent system that comprises a society of self-interested agents that use argumentation-based negotiation to reach agreements regarding cooperation and go...
224
click to vote
EPIA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a rule-based system for automatic extraction of definitions from Portuguese texts. As input, this system takes text that is previously annotated with morph...