274 search results - page 18 / 55 » A Functional Language for Logarithmic Space |
151
Voted
ACL
2010
15 years 1 months ago
2010
For languages with (semi-) free word order (such as German), labelling grammatical functions on top of phrase-structural constituent analyses is crucial for making them interpreta...
155
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
151
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
108
Voted
ECML
2000
Springer
15 years 8 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
133
click to vote
EPEW
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...