993 search results - page 122 / 199 » Set Constraints on Regular Terms |
POPL
2010
ACM
15 years 12 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
114
click to vote
NIPS
2004
14 years 11 months ago
2004
It has been demonstrated that basic aspects of human visual motion perception are qualitatively consistent with a Bayesian estimation framework, where the prior probability distri...
BMCBI
2010
14 years 10 months ago
2010
Background: Gene expression data can be analyzed by summarizing groups of individual gene expression profiles based on GO annotation information. The mean expression profile per g...
TIP
2010
14 years 4 months ago
2010
Multiplicative noise (also known as speckle noise) models are central to the study of coherent imaging systems, such as synthetic aperture radar and sonar, and ultrasound and laser...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
Wavemesh is a powerful scheme for 3D triangular mesh processing. In sharp contrast with other approaches using wavelets for mesh compression which apply only to meshes having subd...