Sciweavers

1740 search results - page 53 / 348
» Minimal structures for stories
Sort
View
CAV
1993
Springer
127views Hardware» more  CAV 1993»
14 years 2 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
FINTAL
2006
14 years 1 months ago
Discourse Segmentation of German Written Texts
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
Harald Lüngen, Csilla Puskás, Maja B&a...
ISBI
2011
IEEE
13 years 1 months ago
Reconstruction of 3D tubular structures from cone-beam projections
A new method of reconstructing three-dimensional (3D) tubular structures from cone-beam projections is proposed in this paper. Minimal path method is applied to detect 2D tubular ...
Jia Li, Laurent D. Cohen
MOR
2010
108views more  MOR 2010»
13 years 8 months ago
Accuracy Certificates for Computational Problems with Convex Structure
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
Arkadi Nemirovski, Shmuel Onn, Uriel G. Rothblum
ICCD
2003
IEEE
104views Hardware» more  ICCD 2003»
14 years 3 months ago
Non-Crossing OBDDs for Mapping to Regular Circuit Structures
In this paper, we propose a novel compact BDD structure, called Non-crossing ordered BDD (NCOBDD), that can be mapped directly to a regular circuit structure. Compared with other ...
Aiqun Cao, Cheng-Kok Koh