Sciweavers

196 search results - page 32 / 40
» The GMD Data Model and Algebra for Multidimensional Informat...
Sort
View
FORTE
2004
13 years 8 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
EKAW
2006
Springer
13 years 9 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
AAAI
1994
13 years 8 months ago
Applying VC-Dimension Analysis To 3D Object Recognition from Perspective Projections
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
Michael Lindenbaum, Shai Ben-David
ICCV
2005
IEEE
14 years 9 months ago
A Shape-Based Segmentation Approach: An Improved Technique Using Level Sets
We propose a novel approach for shape-based segmentation based on a specially designed level set function format. This format permits us to better control the process of object re...
Hossam E. Abd El Munim, Aly A. Farag
APLAS
2008
ACM
13 years 9 months ago
Abstraction of Clocks in Synchronous Data-Flow Systems
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
Albert Cohen, Louis Mandel, Florence Plateau, Marc...