5227 search results - page 128 / 1046 » Constructing New Media |
170
click to vote
SIGIR
1992
ACM
15 years 11 months ago
1992
ACM
Our previous research on one-probe access to large collections of data indexed by alphanumeric keys has produced the first practical minimal perfect hash functions for this proble...
221
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
207
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
186
click to vote
DIS
2008
Springer
15 years 8 months ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
196
click to vote
ICAI
2007
15 years 8 months ago
2007
- NLM's Unified Medical Language System (UMLS) is a very large ontology of biomedical and health data. In order to be used effectively for knowledge processing, it needs to be...