Sciweavers

1655 search results - page 281 / 331
» Stemming in the language modeling framework
Sort
View
142
Voted
GEOINFORMATICA
2011
14 years 7 months ago
Functional description of geoprocessing services as conjunctive datalog queries
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
Daniel Fitzner, Jörg Hoffmann, Eva Klien
109
Voted
PPOPP
2010
ACM
15 years 9 months ago
Symbolic prefetching in transactional distributed shared memory
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
Alokika Dash, Brian Demsky
ICLP
2007
Springer
15 years 6 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
96
Voted
AICT
2006
IEEE
109views Communications» more  AICT 2006»
15 years 6 months ago
Experiences in Deploying Services within the Axis Container
The Web Services framework, since it leverages the Service Oriented Architecture model, enables the development of applications that are loosely coupled and easier to manage. A We...
Beytullah Yildiz, Shrideep Pallickara, Geoffrey Fo...
SOCO
2005
Springer
15 years 6 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe