577 search results - page 80 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
DAC
2003
ACM
14 years 2 months ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
ICUMT
2009
13 years 7 months ago
2009
- Wireless systems operating in the 2.4 GHz ISM frequency band and sharing the same environment in an industrial environment are likely to interfere with each other due to simultan...
SIBGRAPI
2009
IEEE
14 years 4 months ago
2009
IEEE
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Skid-steered mobile robots have been widely used for terrain exploration and navigation. In this paper, we present an adaptive trajectory control design for a skid-steered whee...
BMCBI
2007
13 years 9 months ago
2007
Background: Microarrays have been used extensively to analyze the expression profiles for thousands of genes in parallel. Most of the widely used methods for analyzing Affymetrix ...