Sciweavers

9521 search results - page 455 / 1905
» Compiling with continuations, continued
Sort
View
WMP
2000
15 years 8 months ago
Mathematics of Multisets
This paper is an attempt to summarize the basic elements of the multiset theory. We begin by describing multisets and the operations between them, then we present hybrid sets and t...
Apostolos Syropoulos
VVS
1995
IEEE
175views Visualization» more  VVS 1995»
15 years 8 months ago
A Lipschitz Method for Accelerated Volume Rendering
Interpolating discrete volume data into a continuous form adapts implicit surface techniques for rendering volumetric iso-surfaces. One such algorithm uses the Lipschitz condition...
Barton T. Stander, John C. Hart
138
Voted
DLOG
2007
15 years 7 months ago
Planning in Action Formalisms based on DLs: First Results
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
USENIX
2008
15 years 7 months ago
LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
Yan Tang, Qi Gao, Feng Qin
USS
2008
15 years 7 months ago
Towards Quantification of Network-Based Information Leaks via HTTP
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today�...
Kevin Borders, Atul Prakash