1536 search results - page 223 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
MTA
2006
13 years 7 months ago
2006
In this paper we present a model and an adaptation architecture for context-aware multimodal documents. A compound virtual document describes the different ways in which multimodal...
ACL
2009
13 years 5 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...
DEXAW
2007
IEEE
14 years 2 months ago
2007
IEEE
The current effort to extend the power of information systems by making use of the semantics associated with terms and structures has resulted in a need to establish correspondenc...