297 search results - page 43 / 60 » An Algebra for Directed Bigraphs |
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Strassen’s matrix multiplication (MM) has benefits with respect to any (highly tuned) implementations of MM because Strassen’s reduces the total number of operations. Strasse...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
FOSSACS
2001
Springer
14 years 4 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
CAGD
2006
13 years 7 months ago
2006
Given a smooth surface, a blue (red) ridge is a curve such that at each of its points, the maximum (minimum) principal curvature has an extremum along its curvature line. Ridges a...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
When rotating a pinhole camera, images are related by the infinite homography KRK-1 , which is algebraically a conjugate rotation. Although being a very common image transformatio...