4636 search results - page 213 / 928 » Modelling and Validation with VipTool |
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
DAC
2012
ACM
11 years 10 months ago
2012
ACM
Due to the large geometry of through-silicon-vias (TSVs) and their connections to the power grid, significant current crowding can occur in 3D ICs. Prior works model TSVs and pow...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
JAIR
2008
13 years 8 months ago
2008
This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. All modeling assumptions are rigorously explained, and...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In this paper, a Bayesian wavelet denoising procedure for multicomponent images is proposed. The procedure makes use of a noise-free single component image as prior information. T...