Sciweavers

10419 search results - page 1837 / 2084
» Relational information gain
Sort
View
CG
2002
Springer
15 years 6 months ago
AWE: aviation weather data visualization environment
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...
Lilly Spirkovska, Suresh K. Lodha
COMCOM
2002
105views more  COMCOM 2002»
15 years 6 months ago
An intensive survey of fair non-repudiation protocols
With the phenomenal growth of the Internet and open networks in general, security services, such as non-repudiation, become crucial to many applications. Nonrepudiation services m...
Steve Kremer, Olivier Markowitch, Jianying Zhou
CORR
2002
Springer
123views Education» more  CORR 2002»
15 years 6 months ago
Survey propagation: an algorithm for satisfiability
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
Alfredo Braunstein, Marc Mézard, Riccardo Z...
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 6 months ago
Rerendering Semantic Ontologies: Automatic Extensions to UMLS through Corpus Analytics
In this paper, we discuss the utility and deficiencies of existing ontology resources for a number of language processing applications. We describe a technique for increasing the ...
James Pustejovsky, Anna Rumshisky, José M. ...
ENTCS
2000
112views more  ENTCS 2000»
15 years 6 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
« Prev « First page 1837 / 2084 Last » Next »