Sciweavers

2049 search results - page 173 / 410
» Normalization and Partial Evaluation
Sort
View
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
14 years 3 months ago
Schema Validation and Type Annotation for Encoded Trees
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
Torsten Grust, Stefan Klinger
ICCL
1998
IEEE
14 years 2 months ago
Modular Compilers Based on Monad Transformers
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
William L. Harrison, Samuel N. Kamin
CP
1998
Springer
14 years 2 months ago
Suggestion Strategies for Constraint-Based Matchmaker Agents
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
Eugene C. Freuder, Richard J. Wallace
FMOODS
2007
13 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
LREC
2008
86views Education» more  LREC 2008»
13 years 11 months ago
Tools for Collocation Extraction: Preferences for Active vs. Passive
We present and partially evaluate procedures for the extraction of noun+verb collocation candidates from German text corpora, along with their morphosyntactic preferences, especia...
Ulrich Heid, Marion Weller