Sciweavers

598 search results - page 29 / 120
» Stably compact spaces
Sort
View
EOR
2002
87views more  EOR 2002»
14 years 11 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
15 years 3 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
15 years 21 days 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
15 years 11 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»
14 years 11 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