Sciweavers

2041 search results - page 142 / 409
» Modelling Generic Judgements
Sort
View
110
Voted
CSDA
2007
58views more  CSDA 2007»
15 years 4 months ago
A unifying model involving a categorical and/or dimensional reduction for multimode data
A unifying model is presented that implies a categorical and/or dimensional reduction of one or several modes of a multiway data set. The model encompasses a broad range of (exist...
Iven Van Mechelen, Jan Schepers
WETICE
2006
IEEE
15 years 10 months ago
Authorisation Using Attributes from Multiple Authorities
This paper presents the results of a survey of requirements for attribute aggregation in authorisation systems, gathered from an international community of security professionals....
David W. Chadwick
CAV
1998
Springer
100views Hardware» more  CAV 1998»
15 years 8 months ago
Mechanising BAN Kerberos by the Inductive Method
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
Giampaolo Bella, Lawrence C. Paulson
COLING
2008
15 years 6 months ago
Robust Similarity Measures for Named Entities Matching
Matching coreferent named entities without prior knowledge requires good similarity measures. Soft-TFIDF is a fine-grained measure which performs well in this task. We propose to ...
Erwan Moreau, François Yvon, Olivier Capp&e...
115
Voted
JCC
2008
91views more  JCC 2008»
15 years 4 months ago
An improved pairwise decomposable finite-difference Poisson-Boltzmann method for computational protein design
Abstract: Our goal is to develop accurate electrostatic models that can be implemented in current computational protein design protocols. To this end, we improve upon a previously ...
Christina L. Vizcarra, Naigong Zhang, Shannon A. M...