6306 search results - page 102 / 1262 » Space, Time, and the Use of Language |
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
It seems the time is ripe for the two to meet: NLP has grown out of prototypes and IR is having hard time trying to improve precision. Two examples of possible approaches are consi...
APLAS
2010
ACM
14 years 7 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
SWAT
1998
Springer
15 years 2 months ago
1998
Springer
Given an alphabet , a (directed) graph G whose edges are weighted and -labeled, and a formal language L , the formal-language-constrained shortest/simple path problem consists of ...
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Service dependency management in serviceoriented component platforms is described with languages, which cannot be easily adapted to domain-specific requirements. This p...