747 search results - page 71 / 150 » Theory and Construction of Molecular Computers |
ICCV
2003
IEEE
14 years 10 months ago
2003
IEEE
Automatic construction of Shape Models from examples has been the focus of intense research during the last couple of years. These methods have proved to be useful for shape segme...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
AC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
FOSSACS
2003
Springer
14 years 2 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
COMPGEOM
2007
ACM
14 years 22 days ago
2007
ACM
We show how to embed a 3-connected planar graph with n vertices as a 3-polytope with small integer coordinates. The coordinates are bounded by O(27.55n ). The crucial part is the ...