Sciweavers

4074 search results - page 379 / 815
» Defining Computational Aesthetics
Sort
View
ESWS
2008
Springer
15 years 8 months ago
Mapping Validation by Probabilistic Reasoning
In the semantic web environment, where several independent ontologies are used in order to describe knowledge and data, ontologies have to be aligned by defining mappings among the...
Silvana Castano, Alfio Ferrara, Davide Lorusso, To...
FMCAD
2008
Springer
15 years 8 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman
APCCM
2010
15 years 8 months ago
A conceptually rich model of business process compliance
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
Guido Governatori, Antonino Rotolo
CCCG
2010
15 years 8 months ago
Hausdorff core of a one reflex vertex polygon
In this paper we present a polynomial time algorithm for computing a Hausdorff core of a polygon with a single reflex vertex. A Hausdorff core of a polygon P is a convex polygon Q...
Robert Fraser, Patrick K. Nicholson
BILDMED
2008
15 years 8 months ago
In-Vivo Targeting of Liver Lesions with a Navigation System Based on Fiducial Needles
We assessed the targeting precision of a previously reported needle-based soft tissue navigation system in-vivo. Eight 2 ml agar nodules were implanted into the livers of two swine...
Lena Maier-Hein, A. Tekbas, Alexander Seitel, Fran...