Sciweavers

72 search results - page 5 / 15
» Be clear, clean, concise
Sort
View
CBMS
2006
IEEE
15 years 3 months ago
A Query-Based Medical Information Summarization System Using Ontology Knowledge
As huge amounts of knowledge are created rapidly, effective information access becomes an important issue. Especially for critical domains, such as medical and financial areas, e...
Ping Chen, Rakesh M. Verma
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
15 years 2 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
89
Voted
IPPS
2003
IEEE
15 years 2 months ago
Performance Modeling of the Grace Hash Join on Cluster Architectures
Aim of the paper is to develop a concise but comprehensive analytical model for the well-known Grace Hash Join algorithm on cost effective cluster architectures. This approach is ...
Erich Schikuta
PODS
1999
ACM
89views Database» more  PODS 1999»
15 years 1 months ago
Type Inference in the Polymorphic Relational Algebra
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
Jan Van den Bussche, Emmanuel Waller
ACMSE
2007
ACM
15 years 1 months ago
Exploring the duality between skip lists and binary search trees
Although skip lists were introduced as an alternative to balanced binary search trees (BSTs), we show that the skip list can be interpreted as a type of randomly-balanced BST whos...
Brian C. Dean, Zachary H. Jones