Sciweavers

2312 search results - page 227 / 463
» Invariance in Property Testing
Sort
View
FORTE
1997
15 years 7 months ago
Automatic Checking of Aggregation Abstractions Through State Enumeration
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
Seungjoon Park, Satyaki Das, David L. Dill
WCE
2007
15 years 6 months ago
Bootstrap Confidence Interval for the Median Failure Time of Three-Parameter Weibull Distribution
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
N. A. Ibrahim, A. Kudus
ICDAR
2007
IEEE
15 years 5 months ago
Extraction of Embedded Class Information from Universal Character Pattern
This paper is concerned with a universal pattern, which is defined as a character pattern designed to have high machine-readability. This universal pattern is a character pattern...
Seiichi Uchida, Megumi Sakai, Masakazu Iwamura, Sh...
AUTOMATICA
2007
106views more  AUTOMATICA 2007»
15 years 5 months ago
Asymptotic rejection of asymmetric periodic disturbances in output-feedback nonlinear systems
This paper deals with asymptotic rejection of periodic disturbances which may have asymmetric basic wave patterns. This class of disturbances covers asymmetric wave forms in the h...
Zhengtao Ding
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 5 months ago
Capacity Regions and Bounds for a Class of Z-interference Channels
We define a class of Z-interference channels for which we obtain a new upper bound on the capacity region. The bound exploits a technique first introduced by Korner and Marton. A ...
Nan Liu, Andrea J. Goldsmith