5130 search results - page 738 / 1026 » Constraint Query Languages |
236
click to vote
JWSR
2008
15 years 7 months ago
2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
170
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
231
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
243
click to vote
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
248
click to vote
EMNLP
2011
14 years 7 months ago
2011
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...