Sciweavers

1096 search results - page 87 / 220
» Partial Evaluation of Pointcuts
Sort
View
80
Voted
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
15 years 6 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
92
Voted
ICCL
1998
IEEE
15 years 5 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
92
Voted
CP
1998
Springer
15 years 5 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
15 years 2 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...
86
Voted
LREC
2008
86views Education» more  LREC 2008»
15 years 2 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