Sciweavers

2041 search results - page 142 / 409
» Modelling Generic Judgements
Sort
View
CSDA
2007
58views more  CSDA 2007»
15 years 6 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
16 years 11 days 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 10 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 7 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...
JCC
2008
91views more  JCC 2008»
15 years 6 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...