Sciweavers

2268 search results - page 201 / 454
» The Essence of Form Abstraction
Sort
View
FASE
2008
Springer
15 years 3 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
AWPN
2008
232views Algorithms» more  AWPN 2008»
15 years 3 months ago
Synthesis of Petri Nets from Infinite Partial Languages with VipTool
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
Robin Bergenthum, Sebastian Mauser
BILDMED
2008
111views Algorithms» more  BILDMED 2008»
15 years 3 months ago
Segmentation of Bony Structures with Ligament Attachment Sites
Abstract. This work presents an approach towards reconstructing ligament and tendon attachment sites from 3D medical image data. We apply statistical shape models with an additiona...
Heiko Seim, Hans Lamecker, Markus Heller, Stefan Z...
CORIA
2007
15 years 3 months ago
Apprentissage actif pour l'annotation de documents
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...
Loïc Lecerf, Boris Chidlovskii
DAGSTUHL
2007
15 years 3 months ago
On the Logic of Constitutive Rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum