Sciweavers

4075 search results - page 553 / 815
» Modeling Distributed Algorithm Using B
Sort
View
BIRTHDAY
2010
Springer
15 years 7 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
ECEH
2007
133views Healthcare» more  ECEH 2007»
15 years 8 months ago
Goals and Challenges for the Realization of a European wide eHealth Infrastructure
: A number of Electronic Health Record (EHR) standards and frameworks have been developed to assist with the interoperability and integration of distributed EHR information. Ideall...
Andreas Thiel, Marco Eichelberg, Berthold B. Wein,...
KDD
2003
ACM
150views Data Mining» more  KDD 2003»
16 years 7 months ago
Learning relational probability trees
Classification trees are widely used in the machine learning and data mining communities for modeling propositional data. Recent work has extended this basic paradigm to probabili...
Jennifer Neville, David Jensen, Lisa Friedland, Mi...
ICCV
2007
IEEE
16 years 8 months ago
Robust Visual Tracking Based on Incremental Tensor Subspace Learning
Most existing subspace analysis-based tracking algorithms utilize a flattened vector to represent a target, resulting in a high dimensional data learning problem. Recently, subspa...
Xi Li, Weiming Hu, Zhongfei Zhang, Xiaoqin Zhang, ...
ISBI
2007
IEEE
16 years 29 days ago
Multivariate Hypothesis Testing of Dti Data for Tissue Clustering
In this work we investigate the feasibility and effectiveness of unsupervised tissue clustering and classification algorithms for DTI data. Tissue clustering and classification ...
Raisa Z. Freidlin, Yaniv Assaf, Peter J. Basser