7139 search results - page 813 / 1428 » Language Engineering in Practice |
212
Voted
EMNLP
2010
15 years 5 months ago
2010
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
231
Voted
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 ...
174
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
197
Voted
FPL
2009
Springer
15 years 5 months ago
2009
Springer
In this article, we introduce the ongoing research in modeling and mapping for heterogeneous, customizable, parallel systems, as part of the effort in the newly established Center...
244
Voted
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...