8094 search results - page 1496 / 1619 » Improvements in Formula Generalization |
102
Voted
SIGGRAPH
1997
ACM
15 years 5 months ago
1997
ACM
For decades, animated cartoons and movie special effects have factored the rendering of a scene into layers that are updated independently and composed in the final display. We ap...
101
Voted
SIGMOD
1997
ACM
15 years 5 months ago
1997
ACM
The Distributed Information Search COmponent (Disco) is a prototype heterogeneous distributed database that accesses underlying data sources. The Disco prototype currently focuses...
93
Voted
VLDB
1997
ACM
15 years 5 months ago
1997
ACM
A data warehouse materializes views derived from data that may not reside at the warehouse. Maintaining these views e ciently in response to base updates is di cult, since it may ...
109
click to vote
APN
1993
Springer
15 years 4 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Features are often the basic unit of development for a very large software systems and represent long-term efforts, spanning up to several years from inception to actual use. Deve...