5847 search results - page 1006 / 1170 » Visualization of Knowledge Structures |
129
Voted
IMPERIAL
1993
15 years 6 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
137
Voted
NGITS
1993
Springer
15 years 6 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
107
click to vote
SC
1993
ACM
15 years 6 months ago
1993
ACM
This paper documents the use of a massively parallel computer, specifically the Connection Machine CM-5, to solve the Boltzmann equation to model one-dimensional shock wave struct...
110
click to vote
VLDB
1989
ACM
15 years 6 months ago
1989
ACM
Starburst is an experimental database management system prototype whose objectives include extensibility, support for knowledge databases, use of memory-resident database techniqu...
122
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...