8874 search results - page 331 / 1775 » A New Implementation of Automath |
200
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
192
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
229
click to vote
TELECARE
2004
15 years 8 months ago
2004
In order to facilitate the development and integration of new services for telecare there is a need for the design and development of an open and flexible infrastructure into which...
130
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
133
click to vote
ANLP
2000
15 years 8 months ago
2000
In this paper we present a new, multilingual data-driven method for coreference resolution as implemented in the SWIZZLE system. The results obtained after training this system on...