Sciweavers

2565 search results - page 50 / 513
» Object type constructors
Sort
View
FMOODS
2006
13 years 10 months ago
Type-Safe Runtime Class Upgrades in Creol
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
ICASSP
2007
IEEE
13 years 10 months ago
Physics-Based Ball Tracking in Volleyball Videos with its Applications to Set Type Recognition and Action Detection
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
Hua-Tsung Chen, Hsuan-Sheng Chen, Suh-Yin Lee
ECOOP
1999
Springer
14 years 1 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
POPL
1995
ACM
14 years 11 days ago
Compiling Polymorphism Using Intensional Type Analysis
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
Robert Harper, J. Gregory Morrisett
CORR
2004
Springer
97views Education» more  CORR 2004»
13 years 8 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
Benoît Valiron