Sciweavers

472 search results - page 11 / 95
» Limiting Negations in Formulas
Sort
View
ICWE
2005
Springer
14 years 2 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
GECCO
2010
Springer
155views Optimization» more  GECCO 2010»
14 years 1 months ago
Negative selection algorithms without generating detectors
Negative selection algorithms are immune-inspired classifiers that are trained on negative examples only. Classification is performed by generating detectors that match none of ...
Maciej Liskiewicz, Johannes Textor
CDC
2010
IEEE
228views Control Systems» more  CDC 2010»
13 years 4 months ago
Fundamental performance limitations with Kullback-Leibler control cost
This research concerns fundamental performance limitations in control of discrete time nonlinear systems. The fundamental limitations are expressed in terms of the average cost of ...
Sun Yu, Prashant G. Mehta
ICCAD
1997
IEEE
108views Hardware» more  ICCAD 1997»
14 years 1 months ago
Negative thinking by incremental problem solving: application to unate covering
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Vil...
ICASSP
2010
IEEE
13 years 9 months ago
Statistical Resolution Limit for multiple parameters of interest and for multiple signals
The concept of Statistical Resolution Limit (SRL), which is defined as the minimal separation to resolve two closely spaced signals, is an important tool to quantify performance ...
Mohammed Nabil El Korso, Rémy Boyer, Alexan...