432 search results - page 7 / 87 » An Approach To Multilevel Semantics For Applied Systems |
PC
2011
13 years 5 months ago
2011
We investigate the efficient iterative solution of large-scale sparse linear systems on shared-memory multiprocessors. Our parallel approach is based on a multilevel ILU precondit...
FM
2003
Springer
14 years 3 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
FQAS
2000
Springer
14 years 2 months ago
2000
Springer
This paper focuses on a grammar-based approach to semantic interpretation, which combines the notions of robust and weighted parsing. In restricted domains of application in infor...
LOGCOM
1998
13 years 10 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
ANLP
2000
13 years 11 months ago
2000
This paper proposes a grammar-based approach to semantic annotation which combines the notions of robust parsing and fuzzy grammars. We present an overview of a preliminary resear...