Sciweavers

1445 search results - page 49 / 289
» Uniformly Hard Languages
Sort
View
90
Voted
COLING
1990
15 years 4 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
139
Voted
COLT
2004
Springer
15 years 9 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
136
Voted
ESOP
2006
Springer
15 years 7 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
107
Voted
SOCO
2009
Springer
15 years 10 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
126
Voted
ERCIMDL
1997
Springer
130views Education» more  ERCIMDL 1997»
15 years 7 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...