Sciweavers

1235 search results - page 45 / 247
» Formalizing information security knowledge
Sort
View
MKM
2007
Springer
14 years 1 months ago
Using Formal Concept Analysis in Mathematical Discovery
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
Simon Colton, Daniel Wagner
ENTCS
2007
119views more  ENTCS 2007»
13 years 7 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
ACL
2011
12 years 11 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
CRYPTO
2000
Springer
133views Cryptology» more  CRYPTO 2000»
14 years 1 days ago
Provably Secure Partially Blind Signatures
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
Masayuki Abe, Tatsuaki Okamoto
ICFCA
2009
Springer
14 years 2 months ago
Usability Issues in Description Logic Knowledge Base Completion
Abstract. In a previous paper, we have introduced an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using informat...
Franz Baader, Baris Sertkaya