3429 search results - page 544 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
213
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
149
Voted
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The knowledge representation tradition in computational lexicon design represents words as static encapsulations of purely lexical knowledge. We suggest that this view po...
116
click to vote
AIPS
2010
15 years 5 months ago
2010
We present Shopper, a plan execution engine that facilitates experimental evaluation of plans and makes it easier for planning researchers to incorporate replanning. Shopper inter...
136
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
136
Voted
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...