1749 search results - page 185 / 350 » Conditional colorings of graphs |
168
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
149
click to vote
ACSD
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
188
click to vote
GD
2001
Springer
15 years 11 months ago
2001
Springer
In an orthogonal drawing of a plane graph each vertex is drawn as a point and each edge is drawn as a sequence of vertical and horizontal line segments. A bend is a point at which...
162
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we consider the problem of automatic extraction of the geometric lip features for the purposes of multi-modal speaker identification. The use of visual information ...
144
click to vote
SIGGRAPH
2003
ACM
15 years 12 months ago
2003
ACM
We present techniques which create a consistent illumination between real and virtual objects inside an application specific optical see-through display: the Virtual Showcase. We ...