Sciweavers

6800 search results - page 518 / 1360
» Testing with Functions as Specifications
Sort
View
SCL
2008
87views more  SCL 2008»
15 years 7 months ago
Stabilizability of two-dimensional linear systems via switched output feedback
The problem of stabilizing a second-order SISO LTI system of the form x = Ax + Bu, y = Cx with feedback of the form u(x) = v(x)Cx is considered, where v(x) is real-valued and has ...
Keith R. Santarelli, Alexandre Megretski, Munther ...
TNN
2008
143views more  TNN 2008»
15 years 7 months ago
Blur Identification by Multilayer Neural Network Based on Multivalued Neurons
A multilayer neural network based on multivalued neurons (MLMVN) is a neural network with a traditional feedforward architecture. At the same time, this network has a number of spe...
Igor N. Aizenberg, Dmitriy Paliy, Jacek M. Zurada,...
WINET
2002
124views more  WINET 2002»
15 years 7 months ago
CDMA Uplink Power Control as a Noncooperative Game
We present a game-theoretic treatment of distributed power control in CDMA wireless systems. We make use of the conceptual framework of noncooperative game theory to obtain a distr...
Tansu Alpcan, Tamer Basar, R. Srikant, Eitan Altma...
IEEEHPCS
2010
15 years 5 months ago
Fast learning for multibiometrics systems using genetic algorithms
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...
Romain Giot, Mohamad El-Abed, Christophe Rosenberg...
RCIS
2010
15 years 5 months ago
Using Software Metrics in the Evaluation of a Conceptual Component Model
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
Eric Ceret, Sophie Dupuy-Chessa, Guillaume Godet-B...