2838 search results - page 277 / 568 » Verifying Controlled Components |
170
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose a cord distance in the space of dynamical models that takes into account their dynamics, including transients, output maps and input distributions. In data analysis app...
145
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper proposes a method for extracting subimages from a huge reference image by using lifting wavelet transforms that map integers to integers. Our integertype lifting wavele...
167
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...
159
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
168
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
— The joint analysis of genetic and brain imaging data is the key to understand the genetic underpinnings of brain dysfunctions in several psychiatric diseases known to have a st...