Sciweavers

1804 search results - page 192 / 361
» On set systems with a threshold property
Sort
View
ICANN
2007
Springer
15 years 10 months ago
Text-Independent Speaker Authentication with Spiking Neural Networks
This paper presents a novel system that performs text-independent speaker authentication using new spiking neural network (SNN) architectures. Each speaker is represented by a set ...
Simei Gomes Wysoski, Lubica Benuskova, Nikola Kasa...
FOMI
2008
15 years 8 months ago
Roles: A Four-Dimensional Analysis
In ontology the underlying nature of things is sought. Thus it is that the roles things play can sometimes be neglected. Some different sorts of things that get called roles: place...
Matthew West
LOGCOM
2010
87views more  LOGCOM 2010»
15 years 5 months ago
Exemplaric Expressivity of Modal Logics
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ...
Bart Jacobs, Ana Sokolova
CDC
2010
IEEE
151views Control Systems» more  CDC 2010»
15 years 1 months ago
Input output analysis of power control in wireless networks
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
Anders Moller, Ulf T. Jönsson
NFM
2011
209views Formal Methods» more  NFM 2011»
15 years 1 months ago
Formalizing Probabilistic Safety Claims
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
Heber Herencia-Zapana, George Hagen, Anthony Narka...