6201 search results - page 1104 / 1241 » Implementation of Axiomatic Language |
154
click to vote
CONCURRENCY
2000
15 years 4 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
136
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
136
Voted
INFSOF
2000
15 years 4 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
126
click to vote
IPM
2000
15 years 4 months ago
2000
In this paper, we present the system MULINEX, a fully implemented system which supports cross-lingual search of the WWW. Users can formulate, expand and disambiguate queries, filt...
145
Voted
RAS
2000
15 years 4 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...