Results 1  10
of
4,355
The Contourlet Transform: An Efficient Directional Multiresolution Image Representation
 IEEE TRANSACTIONS ON IMAGE PROCESSING
"... The limitations of commonly used separable extensions of onedimensional transforms, such as the Fourier and wavelet transforms, in capturing the geometry of image edges are well known. In this paper, we pursue a “true” twodimensional transform that can capture the intrinsic geometrical structure t ..."
Abstract

Cited by 513 (20 self)
 Add to MetaCart
flexible multiresolution, local, and directional image expansion using contour segments, and thus it is named the contourlet transform. The discrete contourlet transform has a fast iterated filter bank algorithm that requires an order N operations for Npixel images. Furthermore, we establish a precise
© American Society for Clinical Pathology Hematopathology / Basophil Count by Hematology Instruments Is the Blood Basophil Count Sufficiently Precise, Accurate, and Specific? Three Automated Hematology Instruments and Flow Cytometry Compared
"... We compared the performance of the basophil count of 3 hematology instruments with a flow cytometric method (FCM) in which CD123 and CD193 were used as basophil markers. By analyzing 112 patient samples, we found the ADVIA 120 (Siemens Healthcare Diagnostics, Deerfield, IL) and CELLDYN Sapphire (Ab ..."
Abstract
 Add to MetaCart
We compared the performance of the basophil count of 3 hematology instruments with a flow cytometric method (FCM) in which CD123 and CD193 were used as basophil markers. By analyzing 112 patient samples, we found the ADVIA 120 (Siemens Healthcare Diagnostics, Deerfield, IL) and CELLDYN Sapphire (Abbott Diagnostics, Santa Clara, CA) to underestimate the number of basophils by approximately 50 % and the Sysmex XE2100 (Sysmex, Kobe, Japan) and ADVIA to overestimate the basophil count in some samples with pathologic leukocytes. All 3 instruments had large (25%50%) analytic withinrun coefficients of variation. Compared with the FCM, we found a relatively good correlation for the CELLDYN basophil count (r = 0.81), an intermediate correlation
Abstractions from Proofs
, 2004
"... The success of model checking for large programs depends crucially on the ability to efficiently construct parsimonious abstractions. A predicate abstraction is parsimonious if at each control location, it specifies only relationships between current values of variables, and only those which are req ..."
Abstract

Cited by 268 (33 self)
 Add to MetaCart
are required for proving correctness. Previous methods for automatically refining predicate abstractions until sufficient precision is obtained do not systematically construct parsimonious abstractions: predicates usually contain symbolic variables, and are added heuristically and often uniformly to many
Memorybased dependency parsing
 In Proceedings of CoNLL
, 2004
"... In order to realize the full potential of dependencybased syntactic parsing, it is desirable to allow nonprojective dependency structures. We show how a datadriven deterministic dependency parser, in itself restricted to projective structures, can be combined with graph transformation techniques t ..."
Abstract

Cited by 287 (48 self)
 Add to MetaCart
to produce nonprojective structures. Experiments using data from the Prague Dependency Treebank show that the combined system can handle nonprojective constructions with a precision sufficient to yield a significant improvement in overall parsing accuracy. This leads to the best reported performance
Measurement in medicine: the analysis of method comparison studies. Statistician 32:307–317
, 1983
"... Summary: Methods of analysis used in the comparison of two methods of measurement are reviewed. The use of correlation, regression and the difference between means is criticized. A simple parametric approach is proposed based on analysis of variance and simple graphical methods. 1 The problem In med ..."
Abstract

Cited by 271 (2 self)
 Add to MetaCart
In medicine we often want to compare two different methods of measuring some quantity, such as blood pressure, gestational age, or cardiac stroke volume. Sometimes we compare an approximate or simple method with a very precise one. This is a calibration problem, and we shall not discuss it further here
Background independent quantum gravity: a status report
, 2004
"... The goal of this article is to present an introduction to loop quantum gravity —a background independent, nonperturbative approach to the problem of unification of general relativity and quantum physics, based on a quantum theory of geometry. Our presentation is pedagogical. Thus, in addition to pr ..."
Abstract

Cited by 259 (7 self)
 Add to MetaCart
is deeply rooted in well established physics and also has sufficient mathematical precision to ensure that there are no hidden infinities. In order to keep the article to a reasonable size, and to avoid overwhelming nonexperts, we have had to leave out several interesting topics, results and viewpoints
IDENTIFICATION OF GENETIC NETWORKS FROM A SMALL NUMBER OF GENE EXPRESSION PATTERNS UNDER THE BOOLEAN NETWORK MODEL
 PACIFIC SYMPOSIUM ON BIOCOMPUTING 4:1728 (1999)
, 1999
"... ... for inferring genetic network architectures from state transition tables which correspond to time series of gene expression patterns, using the Boolean network model. Their results of computational experiments suggested that a small number of state transition (INPUT/OUTPUT) pairs are sufficient ..."
Abstract

Cited by 254 (17 self)
 Add to MetaCart
... for inferring genetic network architectures from state transition tables which correspond to time series of gene expression patterns, using the Boolean network model. Their results of computational experiments suggested that a small number of state transition (INPUT/OUTPUT) pairs are sufficient
The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms
 Russian Math. Surveys
, 1970
"... In 1964 Kolmogorov introduced the concept of the complexity of a finite object (for instance, the words in a certain alphabet). He defined complexity as the minimum number of binary signs containing all the information about a given object that are sufficient for its recovery (decoding). This defini ..."
Abstract

Cited by 235 (1 self)
 Add to MetaCart
In 1964 Kolmogorov introduced the concept of the complexity of a finite object (for instance, the words in a certain alphabet). He defined complexity as the minimum number of binary signs containing all the information about a given object that are sufficient for its recovery (decoding
Data flow analysis for verifying properties of concurrent programs
 In Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering
, 1994
"... Classification D.2.4 Software/Program Verification, D.1.3 Concurrent Programming This paper describes FLAVERS, a finitestate verification approach that analyzes whether concurrent systems satisfy userdefined, behavioral properties. FLAVERS automatically creates a compact, eventbased model of the ..."
Abstract

Cited by 176 (61 self)
 Add to MetaCart
of the performance of the FLAVERS/Ada toolset applied to a collection of multitasking Ada systems. This study indicates that sufficient precision for proving system properties can usually be
On Characterizations of the InputtoState Stability Property
 SYSTEMS CONTROL LETTERS
, 1995
"... We show that the wellknown Lyapunov sufficient condition for "inputtostate stability" is also necessary, settling positively an open question raised by several authors during the past few years. Additional characterizations of the ISS property, including one in terms of nonlinear stabil ..."
Abstract

Cited by 225 (32 self)
 Add to MetaCart
We show that the wellknown Lyapunov sufficient condition for "inputtostate stability" is also necessary, settling positively an open question raised by several authors during the past few years. Additional characterizations of the ISS property, including one in terms of nonlinear
Results 1  10
of
4,355