274 search results - page 18 / 55 » A Functional Language for Logarithmic Space |
ACL
2010
13 years 6 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...
SAC
2008
ACM
13 years 7 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 ...
ESWS
2007
Springer
14 years 2 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 ...
ECML
2000
Springer
14 years 8 days 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...
EPEW
2006
Springer
13 years 11 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...