112 search results - page 2 / 23 » A survey of context modelling and reasoning techniques |
CSL
1998
Springer
13 years 5 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...
CSL
2008
Springer
13 years 7 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
IJSM
2007
13 years 5 months ago
2007
Computer-Aided Geometric Design modelers are now based on powerful mathematical curve and surface models, but there is still a considerable need for efficient tools to handle, ana...
BIRTHDAY
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
ENTCS
2007
13 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...