Sciweavers

3381 search results - page 193 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 11 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ICML
2008
IEEE
16 years 7 months ago
Gaussian process product models for nonparametric nonstationarity
Stationarity is often an unrealistic prior assumption for Gaussian process regression. One solution is to predefine an explicit nonstationary covariance function, but such covaria...
Ryan Prescott Adams, Oliver Stegle

Publication
336views
15 years 11 months ago
A Discriminative approach for Wavelet Shrinkage Denoising
This paper suggests a discriminative approach for wavelet denoising where a set of mapping functions (MF) are applied to the transform coefficients in an attempt to produce a noi...
Yacov Hel-Or and Doron Shaked
DOA
2001
117views more  DOA 2001»
15 years 8 months ago
Developing Mobile Agent Organizations: A Case Study in Digital Tourism
Mobile agents are a useful paradigm for the development of complex Internet applications. However, the effective development of mobile agent applications requires suitable models ...
Franco Zambonelli, Giacomo Cabri, Letizia Leonardi
ECCV
2008
Springer
16 years 8 months ago
What Is a Good Image Segment? A Unified Approach to Segment Extraction
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
Shai Bagon, Oren Boiman, Michal Irani