1456 search results - page 121 / 292 » An Overview of the SODA System |
183
click to vote
CLIN
2001
15 years 7 months ago
2001
This paper describes the first large-scale evaluation of information retrieval systems using Dutch documents and queries. We describe in detail the characteristics of the Dutch te...
185
click to vote
WSCG
2000
15 years 7 months ago
2000
One of the biggest areas of scientific visualization (ViSC) application is Medicine: with the evolution of image acquisition techniques the capacity and fidelity of image diagnosi...
155
click to vote
USENIX
1994
15 years 7 months ago
1994
This paper presents a comprehensive design overview of the SunOS 5.4 kernel memory allocator. This allocator is based on a set of object-caching primitives that reduce the cost of...
192
click to vote
BIRTHDAY
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
173
click to vote
DEBU
2010
15 years 6 months ago
2010
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...