Sciweavers

72 search results - page 5 / 15
» Be clear, clean, concise
Sort
View
CBMS
2006
IEEE
14 years 1 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»
14 years 24 days 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
IPPS
2003
IEEE
14 years 22 days 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»
13 years 11 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
13 years 11 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