Sciweavers

1445 search results - page 49 / 289
» Uniformly Hard Languages
Sort
View
COLING
1990
13 years 11 months ago
A Type-theoretical Analysis of Complex Verb Generation
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
Satoshi Tojo
COLT
2004
Springer
14 years 3 months ago
Replacing Limit Learners with Equally Powerful One-Shot Query Learners
Different formal learning models address different aspects of human learning. Below we compare Gold-style learning—interpreting learning as a limiting process in which the lear...
Steffen Lange, Sandra Zilles
ESOP
2006
Springer
14 years 1 months ago
Pure Pattern Calculus
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
C. Barry Jay, Delia Kesner
SOCO
2009
Springer
14 years 4 months ago
Composing RESTful Services with JOpera
The REST architectural style is emerging as an alternative technology platform for the realization of service-oriented architectures. In this paper, we apply the notion of composit...
Cesare Pautasso
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
14 years 2 months ago
Modelling the Retrieval of Structured Documents Containing Texts and Images
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...