4961 search results - page 10 / 993 » Homomorphism-Homogeneous Relational Structures |
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
ETFA
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a localization system for mobile robots that are able to navigate autonomously in industrial environments like factory and exhibition halls. Previous approache...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
The Visual SQL-X system is presented to generate arbitrarily complex XML documents from a graphical query on a relational database. The query describes the structure of the result...
ATVA
2007
Springer
14 years 4 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...