1274 search results - page 38 / 255 » Graph lambda theories |
112
click to vote
COSIT
2007
Springer
15 years 7 months ago
2007
Springer
Rough sets have been applied in spatial information theory to construct theories of granularity – presenting information at different levels of detail. Mathematical morphology c...
109
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
131
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
107
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...