Sciweavers

1056 search results - page 111 / 212
» A Probabilistic Applied Pi-Calculus
Sort
View
FORTE
2004
13 years 10 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...
UAI
2003
13 years 10 months ago
Policy-contingent abstraction for robust robot control
ontingent abstraction for robust robot control Joelle Pineau, Geoff Gordon and Sebastian Thrun School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This pape...
Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun
CVPR
2008
IEEE
13 years 9 months ago
A similarity measure between unordered vector sets with application to image categorization
We present a novel approach to compute the similarity between two unordered variable-sized vector sets. To solve this problem, several authors have proposed to model each vector s...
Yan Liu, Florent Perronnin
ISCI
2008
181views more  ISCI 2008»
13 years 9 months ago
Attribute reduction in decision-theoretic rough set models
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...
Yiyu Yao, Yan Zhao
PAMI
2006
178views more  PAMI 2006»
13 years 9 months ago
Learning Nonlinear Image Manifolds by Global Alignment of Local Linear Models
Appearance-based methods, based on statistical models of the pixel values in an image (region) rather than geometrical object models, are increasingly popular in computer vision. I...
Jakob J. Verbeek