Sciweavers

3328 search results - page 402 / 666
» On Plateaued Functions and Their Constructions
Sort
View
JAT
2010
63views more  JAT 2010»
15 years 5 months ago
Symmetric box-splines on the A*n lattice
Sampling and reconstruction of generic multivariate functions is more efficient on non-Cartesian root lattices, such as the BCC (Body-Centered Cubic) lattice, than on the Cartesia...
Minho Kim, Jörg Peters
NAACL
2010
15 years 4 months ago
Chart Mining-based Lexical Acquisition with Precision Grammars
In this paper, we present an innovative chart mining technique for improving parse coverage based on partial parse outputs from precision grammars. The general approach of mining ...
Yi Zhang 0003, Timothy Baldwin, Valia Kordoni, Dav...
SEUS
2010
IEEE
15 years 4 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei
VSTTE
2010
Springer
15 years 4 months ago
Reusable Verification of a Copying Collector
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
Magnus O. Myreen
EUSFLAT
2009
186views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Analysis of Similarity Measures for Atanassov's Intuitionistic Fuzzy Sets
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
Eulalia Szmidt, Janusz Kacprzyk