121 search results - page 5 / 25 » Visibility Representations of Complete Graphs |
CONCUR
2000
Springer
13 years 11 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper describes a complete low-complexity imaging system based on a single MEMS scanning mirror and a single photodetector, together with customized image enhancement algorit...
JOT
2010
13 years 5 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
BMCBI
2008
13 years 7 months ago
2008
Background: Depending on their specific structures, noncoding RNAs (ncRNAs) play important roles in many biological processes. Interest in developing new topological indices based...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
An overlap representation is an assignment of sets to the vertices of a graph in such a way that two vertices are adjacent if and only if the sets assigned to them overlap. The ov...