6167 search results - page 58 / 1234 » Can Refinement be Automated |
117
click to vote
ICUMT
2009
15 years 1 months ago
2009
Structured peer-to-peer systems--also known as key-based routing protocols--offer a base for a broad range of applications. In the past, different topology adaptation mechanisms fo...
152
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Gene expression microarray and other multiplex data hold promise for addressing the challenges of cellular complexity, refined diagnoses and the discovery of well-targ...
121
click to vote
ICIP
1998
IEEE
15 years 8 months ago
1998
IEEE
: While lattice vector quantization (LVQ) can solve the complexity problem of LBG based vector quantizers, and also yield very general codebooks, a single stage lattice VQ, when ap...
135
click to vote
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
114
click to vote
ADCM
2006
15 years 4 months ago
2006
In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space Wk p (Rs )(1 p ) to a vector refinement equation with a general dil...