Sciweavers

828 search results - page 66 / 166
» Topological Properties of OTIS-Networks
Sort
View
APAL
2006
76views more  APAL 2006»
13 years 10 months ago
Non-primitive recursive decidability of products of modal logics with expanding domains
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
David Gabelaia, Agi Kurucz, Frank Wolter, Michael ...
JUCS
2008
181views more  JUCS 2008»
13 years 10 months ago
An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function on Configurable Logic Devices
: This paper describes the development of an Intellectual Property (IP) core in VHDL able to implement a Multilayer Perceptron (MLP) artificial neural network (ANN) topology with u...
Alfredo Rosado Muñoz, Luis Gómez-Cho...
AMC
2004
95views more  AMC 2004»
13 years 10 months ago
On lacunary invariant sequence spaces defined by a sequence of modulus functions
Abstract. The purpose of this paper is to introduce and study some sequence spaces which are defined by combining the concepts of lacunary convergence, invariant mean and the seque...
Vatan Karakaya, Necip Simsek
CORR
2004
Springer
119views Education» more  CORR 2004»
13 years 10 months ago
Exploring networks with traceroute-like probes: theory and simulations
Mapping the Internet generally consists in sampling the network from a limited set of sources by using traceroute-like probes. This methodology, akin to the merging of different s...
Luca Dall'Asta, J. Ignacio Alvarez-Hamelin, Alain ...
MICCAI
1998
Springer
14 years 2 months ago
Robust Brain Segmentation Using Histogram Scale-Space Analysis and Mathematical Morphology
Abstract. In this paper, we propose a robust fully non-supervised method dedicated to the segmentation of the brain in T1-weighted MR images. The first step consists in the analysi...
Jean-Francois Mangin, Olivier Coulon, Vincent Frou...