8874 search results - page 110 / 1775 » A New Implementation of Automath |
112
Voted
AIIA
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
119
Voted
AGP
1998
IEEE
15 years 8 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
114
Voted
DAGSTUHL
2008
15 years 5 months ago
2008
: Let IIR be the set of closed and bounded intervals of real numbers. Arithmetic in IIR can be defined via the power set IPIR of real numbers. If divisors containing zero are exclu...
137
Voted
CN
2007
15 years 3 months ago
2007
Multicast communication is arguably the most promising paradigm to enable mass Internet transmission of live events, or any other content sent on the network from a single source ...
104
Voted
INFORMATICALT
2002
15 years 3 months ago
2002
High-quality machine translation between human languages has for a long time been an unattainable dream for many computer scientists involved in this fascinating and interdisciplin...