Sciweavers

4842 search results - page 838 / 969
» A Calculus for Data Mapping
Sort
View
ICRA
1998
IEEE
110views Robotics» more  ICRA 1998»
15 years 10 months ago
Control of a Bow Leg Hopping Robot
The bow leg hopper is a new design for a locomoting system with a resilient, flexible leg. It features a passive stance phase and natural pitch stability. It is controlled with ac...
Ben Brown, Garth Zeglin
SIGMOD
1998
ACM
180views Database» more  SIGMOD 1998»
15 years 10 months ago
Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
William W. Cohen
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
15 years 10 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
IPPS
1997
IEEE
15 years 10 months ago
Semantics and Implementation of a Generalized forall Statement for Parallel Languages
In this paper we present a generalized forall statement for parallel languages. The forall statement occurs in many (data) parallel languages and specifies which computations can...
Paul Dechering, Leo C. Breebaart, Frits Kuijlman, ...
VISUALIZATION
1997
IEEE
15 years 10 months ago
Global tele-immersion
The term Tele-Immersion was first used in October 1996 as the title of a workshop the Electronic Visualization Laboratory (EVL) at University of Illinois at Chicago (UIC) organize...
Thomas A. DeFanti