Sciweavers

4037 search results - page 739 / 808
» Routing without ordering
Sort
View
ECAI
2000
Springer
15 years 7 months ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
121
Voted
WWW
2010
ACM
15 years 6 months ago
visKQWL, a visual renderer for a semantic web query language
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...
Andreas Hartl, Klara A. Weiand, François Br...
POPL
1999
ACM
15 years 6 months ago
Typed Memory Management in a Calculus of Capabilities
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
Karl Crary, David Walker, J. Gregory Morrisett
159
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
LCIS: A Boundary Hierarchy for Detail-Preserving Contrast Reduction
High contrast scenes are difficult to depict on low contrast displays without loss of important fine details and textures. Skilled artists preserve these details by drawing scen...
Jack Tumblin, Greg Turk
IDEAS
1999
IEEE
144views Database» more  IDEAS 1999»
15 years 6 months ago
The Scalability of an Object Descriptor Architecture OODBMS
An object database management system (OODBMS) has been often criticized for its alleged insufficient scalability for a large-scale production system. We investigated the scalabili...
Kwok K. Yu, Byung Suk Lee, Michael R. Olson