Sciweavers

121 search results - page 6 / 25
» Visibility Representations of Complete Graphs
Sort
View
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
13 years 11 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
TROB
2008
112views more  TROB 2008»
13 years 7 months ago
A Complete and Scalable Strategy for Coordinating Multiple Robots Within Roadmaps
Abstract--This paper addresses the challenging problem of finding collision-free trajectories for many robots moving toward individual goals within a common environment. Most popul...
Mike Peasgood, Christopher M. Clark, John McPhee
ICEIS
2010
IEEE
13 years 5 months ago
Graph-based Knowledge Representation and Reasoning
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
M. Chein
CORR
2010
Springer
73views Education» more  CORR 2010»
13 years 7 months ago
On Touching Triangle Graphs
Abstract. In this paper, we consider the problem of representing graphs by triangles whose sides touch. We present linear time algorithms for creating touching triangles representa...
Emden R. Gansner, Yifan Hu, Stephen G. Kobourov
JAPLL
2006
114views more  JAPLL 2006»
13 years 7 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle