Sciweavers

721 search results - page 56 / 145
» Summability in topological spaces
Sort
View
CONCUR
2009
Springer
15 years 4 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ICES
2000
Springer
91views Hardware» more  ICES 2000»
15 years 1 months ago
Dynamic Optimisation of Non-linear Feed Forward Circuits
Abstract. An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16-bit address space into an 8-bit one. The target technolog...
Ernesto Damiani, Valentino Liberali, Andrea Tettam...
CLASSIFICATION
2008
84views more  CLASSIFICATION 2008»
14 years 10 months ago
Degenerating Families of Dendrograms
Dendrograms used in data analysis are ultrametric spaces, hence objects of nonarchimedean geometry. It is known that there exist p-adic representations of dendrograms. Completed b...
Patrick Erik Bradley
ICPR
2004
IEEE
15 years 11 months ago
Transitions of the Pre-Symmetry Set
The Symmetry Set (??) and its subset the Medial Axis (? ), can be used to describe a shape. The representation of the ?? in parameter space is called the pre-Symmetry Set. Changes...
Arjan Kuijper, Ole Fogh Olsen
ESANN
2000
14 years 11 months ago
Bootstrapping Self-Organizing Maps to assess the statistical significance of local proximity
One of the attractive feature of Self-Organizing Maps (SOM) is the so-called "topological preservation property": observations that are close to each other in the input s...
Eric de Bodt, Marie Cottrell