Sciweavers

1961 search results - page 86 / 393
» PicoDBMS: Validation and Experience
Sort
View
GIS
2010
ACM
14 years 9 months ago
Quantitative analysis of simulated erosion for different soils
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
Zhongxian Chen, Christopher Stuetzle, Barbara Cutl...
ICASSP
2010
IEEE
14 years 9 months ago
A novel, fast, and complete 3D segmentation of vertebral bones
Bone mineral density (BMD) measurements and fracture analysis of the spine bones are restricted to the Vertebral bodies (VBs), especially the trabecular bones (TBs). In this paper...
Melih S. Aslan, Asem M. Ali, Ham Rara, Ben Arnold,...
IJON
2008
152views more  IJON 2008»
14 years 9 months ago
Topos: Spiking neural networks for temporal pattern recognition in complex real sounds
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
Pablo González-Nalda, Blanca Cases
ICASSP
2010
IEEE
14 years 9 months ago
Human detection in images via L1-norm Minimization Learning
In recent years, sparse representation originating from signal compressed sensing theory has attracted increasing interest in computer vision research community. However, to our b...
Ran Xu, Baochang Zhang, Qixiang Ye, Jianbin Jiao
ICFEM
2010
Springer
14 years 9 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...