Sciweavers

598 search results - page 29 / 120
» Stably compact spaces
Sort
View
EOR
2002
87views more  EOR 2002»
13 years 7 months ago
On the finite convergence of successive SDP relaxation methods
Let F be a subset of the n-dimensional Euclidean space Rn represented in terms of a compact convex subset C0 and a set PF of nitely or in nitely many quadratic functions on Rn such...
Masakazu Kojima, Levent Tunçel
CCA
2009
Springer
13 years 11 months ago
Effective Dispersion in Computable Metric Spaces
We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent u...
Zvonko Iljazovic
APVIS
2008
13 years 8 months ago
Efficient Rendering of Extrudable Curvilinear Volumes
We present a technique for memory-efficient and time-efficient volume rendering of curvilinear adaptive mesh refinement data defined within extrudable computational spaces. One of...
Steven Martin, Han-Wei Shen, Ravi Samtaney
ICSE
2004
IEEE-ACM
14 years 7 months ago
Using Compressed Bytecode Traces for Slicing Java Programs
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
Tao Wang, Abhik Roychoudhury
JSYML
2008
71views more  JSYML 2008»
13 years 7 months ago
Strictly positive measures on Boolean algebras
We investigate strictly positive finitely additive measures on Boolean algebras and strictly positive Radon measures on compact zerodimensional spaces. The motivation is to find a ...
Mirna Dzamonja, Grzegorz Plebanek