Sciweavers

1172 search results - page 90 / 235
» Using Small Screen Space More Efficiently
Sort
View
134
Voted
ASPLOS
2009
ACM
15 years 7 months ago
Efficient online validation with delta execution
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou
132
Voted
USENIX
1990
15 years 4 months ago
Efficient User-Level File Cache Management on the Sun Vnode Interface
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
David C. Steere, James J. Kistler, Mahadev Satyana...
SG
2005
Springer
15 years 9 months ago
Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
Kaye Mason, Jörg Denzinger, M. Sheelagh T. Ca...
FOIKS
2006
Springer
15 years 7 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
126
Voted
VLDB
1989
ACM
70views Database» more  VLDB 1989»
15 years 7 months ago
The Starburst Long Field Manager
Starburst is an experimental database management system prototype whose objectives include extensibility, support for knowledge databases, use of memory-resident database techniqu...
Tobin J. Lehman, Bruce G. Lindsay