1632 search results - page 190 / 327 » Topological Analysis of Refinement |
FM
1999
Springer
15 years 3 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we propose a novel technique to segment handwritten document images into text lines by shredding their surface with local minima tracers. Our approach is based on t...
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we present a new method of baseline detection of online or offline short handwriting. This work is part of a large project for the edification of a dual online / off...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—We propose a novel search mechanism for unstructured p2p networks, and show that it is both scalable, i.e., it leads to a bounded query traffic load per peer as the pee...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Evolution of analogue circuitry on a cell based system can benefit from the use of a generic cell design. A comparative analysis of the re-routing ability of two different cell ...