Sciweavers

2268 search results - page 189 / 454
» The Essence of Form Abstraction
Sort
View
SSPR
1998
Springer
15 years 6 months ago
Tracking of Rotating Objects
Abstract. A representation of a three-dimensional object is autonomously learned from a sequence of the rotating object. The representation consists of single views in form of grap...
Gabriele Peters, Christian Eckes, Christoph von de...
LCN
1996
IEEE
15 years 5 months ago
A Class-Chest for Deriving Transport Protocols
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
W. Timothy Strayer
LICS
1994
IEEE
15 years 5 months ago
Categories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
Carolyn Brown, Graham Hutton
PLILP
1994
Springer
15 years 5 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
CAIP
2007
Springer
170views Image Analysis» more  CAIP 2007»
15 years 5 months ago
Image Segmentation Using Topological Persistence
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...
David Letscher, Jason Fritts