Sciweavers

4205 search results - page 148 / 841
» Typed Mobile Objects
Sort
View
ICFP
2006
ACM
16 years 4 months ago
Static analysis for syntax objects
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
David Fisher, Olin Shivers
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 11 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
VMV
2000
146views Visualization» more  VMV 2000»
15 years 5 months ago
Matching 3D Freeform Shapes to Digitized Objects
In this paper the problem of matching freeform surface features against measured point data is studied. The motivation for this investigation is the recent demand for fast and rob...
Joris S. M. Vergeest, Sander Spanjaard, Jos J. O. ...
ECOOP
1998
Springer
15 years 8 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
AVSS
2005
IEEE
15 years 10 months ago
Shape recognition based on a video and multi-sensor system
We present in this paper a real-time system for shape recognition. The proposed system is a video and multisensor platform that is able to classify the mobile objects evolving in ...
Huy-Binh Bui Ngoc, François Brémond,...