Sciweavers

4965 search results - page 605 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ICC
2007
IEEE
16 years 1 months ago
A Cube Oriented Ray Launching Algorithm for 3D Urban Field Strength Prediction
Abstract— Fast radio wave propagation prediction is of tremendous interest for planning and optimization of cellular radio networks. We propose a cube oriented 3D ray launching a...
Rudolf Mathar, Michael Reyer, Michael Schmeink
FSTTCS
2007
Springer
16 years 1 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ER
2004
Springer
348views Database» more  ER 2004»
16 years 7 days ago
Understanding Relationships: Classifying Verb Phrase Semantics
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
Veda C. Storey, Sandeep Purao
EUROPAR
1999
Springer
15 years 11 months ago
INTERLACE: An Interoperation and Linking Architecture for Computational Engines
Abstract. To aid in building high-performance computational environments, INTERLACE offers a framework for linking reusable computational engines in a heterogeneous distributed sy...
Matthew J. Sottile, Allen D. Malony
TACS
1997
Springer
15 years 10 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori