Sciweavers

1827 search results - page 84 / 366
» Automatic thesaurus construction
Sort
View
CSFW
2000
IEEE
15 years 3 months ago
Towards Automatic Verification of Authentication Protocols on an Unbounded Network
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
James Heather, Steve Schneider
BMCBI
2006
72views more  BMCBI 2006»
14 years 12 months ago
Cluster analysis of networks generated through homology: automatic identification of important protein communities involved in c
Background: Protein-protein interactions have traditionally been studied on a small scale, using classical biochemical methods to investigate the proteins of interest. More recent...
Pall F. Jonsson, Tamara Cavanna, Daniel Zicha, Pau...
JUCS
2010
139views more  JUCS 2010»
14 years 6 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
IUI
2011
ACM
14 years 2 months ago
Automatically generating stories from sensor data
Recent research in Augmented and Alternative Communication (AAC) has begun to make use of Natural Language Generation (NLG) techniques. This creates an opportunity for constructin...
Joseph Reddington, Nava Tintarev
LREC
2008
134views Education» more  LREC 2008»
15 years 1 months ago
GMT to +2 or how can TimeML be used in Romanian
The paper describes the construction and usage of the Romanian version of the TimeBank corpus. The success rate of 96.53% for the automatic import of the temporal annotation from ...
Corina Forascu