Sciweavers

2596 search results - page 181 / 520
» Gradual Typing for Objects
Sort
View
129
Voted
VMV
2000
167views Visualization» more  VMV 2000»
15 years 5 months ago
Voxelisation: Modelling for Volume Graphics
Voxelisation is the term given to the process of converting data from one source type into a three dimensional volume of data values. The techniques known collectively as volume v...
Mark W. Jones, Richard Satherley
DS
1992
92views Database» more  DS 1992»
15 years 5 months ago
So Far (Schematically) yet So Near (Semantically)
In a multidatabase system, schematic con icts between two objects are usually of interest only when the objects have some semantic a nity. In this paper we try to reconcile the tw...
Amit P. Sheth, Vipul Kashyap
165
Voted
HRI
2010
ACM
15 years 4 months ago
Towards robust human robot collaboration in industrial environments
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
Batu Akan, Baran Çürüklü, Gi...
CONCUR
2000
Springer
15 years 8 months ago
The Control of Synchronous Systems
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ECOOP
2010
Springer
15 years 8 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky