2596 search results - page 33 / 520 » Gradual Typing for Objects |
LCR
2000
Springer
15 years 2 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
ICAPR
2009
Springer
15 years 5 months ago
2009
Springer
—This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power con...
UAI
2003
15 years 13 days ago
2003
Learning with hidden variables is a central challenge in probabilistic graphical models that has important implications for many real-life problems. The classical approach is usin...
83
Voted
VLDB
1993
ACM
15 years 3 months ago
1993
ACM
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...
ENTCS
2007
14 years 11 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...