Sciweavers

154 search results - page 9 / 31
» Modified Numerals as Post-Suppositions
Sort
View
CAGD
2006
90views more  CAGD 2006»
13 years 9 months ago
Local hybrid approximation for scattered data fitting with bivariate splines
We suggest a local hybrid approximation scheme based on polynomials and radial basis functions, and use it to modify the scattered data fitting algorithm of [7]. Similar to that a...
Oleg Davydov, Rossana Morandi, Alessandra Sestini
CSDA
2006
71views more  CSDA 2006»
13 years 9 months ago
Computation of Huber's M-estimates for a block-angular regression problem
Huber's M-estimation technique is applied to a block-angular regression problem, which may arise from some applications. A recursive, modified Newton approach to computing th...
Xiao-Wen Chang
CADE
2006
Springer
14 years 10 months ago
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
Robert L. Constable, Wojciech Moczydlowski
ESWA
2008
119views more  ESWA 2008»
13 years 10 months ago
Incremental clustering of mixed data based on distance hierarchy
Clustering is an important function in data mining. Its typical application includes the analysis of consumer's materials. Adaptive resonance theory network (ART) is very pop...
Chung-Chian Hsu, Yan-Ping Huang
JDCTA
2010
111views more  JDCTA 2010»
13 years 4 months ago
Experimental Study on Connectivity for Wireless Sensor Networks
Many works have been devoted to connectivity of wireless sensor networks. This is an important feature for wireless sensor networks (WSNs) to provide the nodes with the capability...
Xiao-gang Qi, Li-fang Liu, San-yang Liu