2819 search results - page 336 / 564 » Automatic Structures |
134
click to vote
IDEAS
1997
IEEE
15 years 8 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
128
click to vote
METRICS
1997
IEEE
15 years 8 months ago
1997
IEEE
The shapes of forests of inheritance trees can affect the amount of code reuse in an object-oriented system. Designers can benefit from knowing how structuring decisions affect r...
132
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
Sensor-actuator networks (SANs) are a new approach for the physically-based animation of objects. The user supplies the configuratíon of a mechanical system that hás been augmen...
168
click to vote
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...