2696 search results - page 103 / 540 » Semantic Abstraction and Anaphora |
CICLING
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In many contexts today, documents are available in a number of versions. In addition to explicit knowledge that can be queried/searched in documents, these documents also...
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
ISVC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This article describes a novel junction descriptor that encodes junctions’ semantic information in terms incoming lines’ orientations, both in 2D and 3D. A Kalman fi...
CIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...