Sciweavers

297 search results - page 55 / 60
» An Algebra for Directed Bigraphs
Sort
View
ECEASST
2006
103views more  ECEASST 2006»
13 years 6 months ago
Petri Nets and Matrix Graph Grammars: Reachability
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
Juan de Lara, Pedro Pablo Pérez Velasco
ICCV
1999
IEEE
14 years 8 months ago
Single View Metrology
We describe how 3D affine measurements may be computed from a single perspective view of a scene given only minimal geometric information determined from the image. This minimal i...
Antonio Criminisi, Ian D. Reid, Andrew Zisserman
MICCAI
2008
Springer
14 years 8 months ago
Label Space: A Coupled Multi-shape Representation
Richly labeled images representing several sub-structures of an organ occur quite frequently in medical images. For example, a typical brain image can be labeled into grey matter, ...
James G. Malcolm, Yogesh Rathi, Martha Elizabeth...
GIS
2005
ACM
14 years 8 months ago
Contraflow network reconfiguration for evacuation planning: a summary of results
Contraflow, or lane reversal, is a way of increasing outbound capacity of a real network by reversing the direction of inbound roads during evacuations. The contraflow is consider...
Sangho Kim, Shashi Shekhar
ACSC
2008
IEEE
14 years 1 months ago
On illegal composition of first-class agent interaction protocols
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
Tim Miller, Peter McBurney