Sciweavers

598 search results - page 2 / 120
» Interpolation Mechanism of Functional Networks
Sort
View
AISC
2008
Springer
13 years 7 months ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
Peter Chapman, James McKinna, Christian Urban
ITCC
2005
IEEE
13 years 11 months ago
NIPPERS: Network of InterPolated PeERS for Web Service Discovery
Web services are becoming an important enabler of the Semantic Web. Besides the need for a rich description mechanism, Web Service information should be made available in an acces...
Christos Makris, Evangelos Sakkopoulos, Spyros Sio...
EWSN
2009
Springer
14 years 6 months ago
The Minimum Number of Sensors - Interpolation of Spatial Temperature Profiles in Chilled Transports
Wireless sensor networks are an important tool for the supervision of cool chains. Previous research with a high number of measurement points revealed spatial temperature deviation...
Reiner Jedermann, Walter Lang
ADCM
2005
163views more  ADCM 2005»
13 years 5 months ago
Matrix-valued radial basis functions: stability estimates and applications
Radial basis functions (RBFs) have found important applications in areas such as signal processing, medical imaging, and neural networks since the early 1980's. Several appli...
Svenja Lowitzsch
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 5 months ago
Bipolarization of posets and natural interpolation
The Choquet integral w.r.t. a capacity can be seen in the finite case as a parsimonious linear interpolator between vertices of [0, 1]n. We take this basic fact as a starting poin...
Michel Grabisch, Christophe Labreuche