Sciweavers

3311 search results - page 445 / 663
» Deductive Object Programming
Sort
View
OODBS
2000
136views Database» more  OODBS 2000»
15 years 7 months ago
A Flexible Approach for Instance Adaptation During Class Versioning
: One of the consequences of evolution can be the inability to access objects created using the older schema definition under the new definition and vice versa. Instance adaptation...
Awais Rashid, Peter Sawyer, Elke Pulvermüller
AR
2007
99views more  AR 2007»
15 years 4 months ago
Experience-based imitation using RNNPB
Abstract— Robot imitation is a useful and promising alternative to robot programming. Robot imitation involves two crucial issues. The first is how a robot can imitate a human w...
Ryunosuke Yokoya, Tetsuya Ogata, Jun Tani, Kazunor...
ENTCS
2006
137views more  ENTCS 2006»
15 years 4 months ago
Coalgebraic Description of Generalized Binary Methods
We extend the Reichel-Jacobs coalgebraic account of specification and refinement of objects and classes in Object Oriented Programming to (generalized) binary methods. These are m...
Furio Honsell, Marina Lenisa, Rekha Redamalla
ENTCS
2007
100views more  ENTCS 2007»
15 years 4 months ago
Type-Safe Code Transformations in Haskell
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...
Louis-Julien Guillemette, Stefan Monnier
SMA
2008
ACM
154views Solid Modeling» more  SMA 2008»
15 years 4 months ago
Solid height-map sets: modeling and visualization
Height maps are a very efficient surface representation, initially developed for terrain modeling and visualization. They are also present in other applications, such as mesostruc...
Paulo I. N. Santos, Rodrigo de Toledo, Marcelo Gat...