Sciweavers

2440 search results - page 180 / 488
» Explanation-Based Feature Construction
Sort
View
ECOOP
2000
Springer
15 years 9 months ago
Towards a Unified Programming Language
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
Ole Lehrmann Madsen
3DIM
1997
IEEE
15 years 9 months ago
3-D Modeling from Range Imagery: An Incremental Method with a Planning Component
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...
Michael K. Reed, Peter K. Allen, Ioannis Stamos
KI
1990
Springer
15 years 8 months ago
The Representation of Program Synthesis in Higher Order Logic
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
Christoph Kreitz
197
Voted
ECOOPW
1998
Springer
15 years 8 months ago
Role-Based Protection and Delegation for Mobile Object Environments
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...
Nataraj Nagaratnam, Doug Lea
AOSD
2007
ACM
15 years 8 months ago
Tribe: a simple virtual class calculus
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
Dave Clarke, Sophia Drossopoulou, James Noble, Tob...