Sciweavers

917 search results - page 64 / 184
» Comparison of Data Structures for Computing Formal Concepts
Sort
View
EDO
2006
Springer
15 years 1 months ago
Service communities: applications and middleware
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
Stefan Tai, Nirmit Desai, Pietro Mazzoleni
ROOM
2000
14 years 11 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
DIS
2001
Springer
15 years 2 months ago
Computational Discovery of Communicable Knowledge: Symposium Report
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
Saso Dzeroski, Pat Langley
MICCAI
2000
Springer
15 years 1 months ago
Robust 3D Segmentation of Anatomical Structures with Level Sets
This paper is focused on the use of the level set formalism to segment anatomical structures in 3D images (ultrasound ou magnetic resonance images). A closed 3D surface propagates...
C. Baillard, Christian Barillot
CVPR
2007
IEEE
15 years 11 months ago
Robust Change-Detection by Normalised Gradient-Correlation
A novel algorithm for robustly segmenting changes between different images of a scene is presented. This computationally efficient algorithm is based on a non-linear comparison of...
Robert O'Callaghan, Tetsuji Haga