1312 search results - page 107 / 263 » Quantitative Comparison of Languages |
92
Voted
GCC
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
82
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
102
Voted
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
93
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
108
click to vote
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
This paper quantitatively investigates in how far local context is useful to disambiguate the senses of an ambiguous word. This is done by comparing the co-occurrence frequencies ...