498 search results - page 35 / 100 » A Formal Foundation for XrML |
IAT
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
COSIT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
119
click to vote
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
ACL
2010
14 years 8 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...