Sciweavers

690 search results - page 7 / 138
» Dense Admissible Sets
Sort
View
JSYML
2002
63views more  JSYML 2002»
13 years 7 months ago
Wellordering Proofs for Metapredicative Mahlo
In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the u...
Thomas Strahm
JDA
2007
98views more  JDA 2007»
13 years 7 months ago
Admission control with advance reservations in simple networks
In the admission control problem we are given a network and a set of connection requests, each of which is associated with a path, a time interval, a bandwidth requirement, and a ...
Dror Rawitz
ECCV
2006
Springer
14 years 9 months ago
Dense Photometric Stereo by Expectation Maximization
Abstract. We formulate a robust method using Expectation Maximization (EM) to address the problem of dense photometric stereo. Previous approaches using Markov Random Fields (MRF) ...
Tai-Pang Wu, Chi-Keung Tang
TVCG
2008
111views more  TVCG 2008»
13 years 7 months ago
Two-Way Coupled SPH and Particle Level Set Fluid Simulation
Grid-based methods have difficulty resolving features on or below the scale of the underlying grid. Although adaptive methods (e.g., RLE, octrees) can alleviate this to some degree...
Frank Losasso, Jerry O. Talton, Nipun Kwatra, Rona...
CINQ
2004
Springer
123views Database» more  CINQ 2004»
14 years 22 days ago
One-Sided Instance-Based Boundary Sets
Abstract. Instance retraction is a difficult problem for concept learning by version spaces. This chapter introduces a family of version-space representations called one-sided inst...
Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H....