Sciweavers

3081 search results - page 382 / 617
» A Formal Ontology of Properties
Sort
View
TEC
2010
77views more  TEC 2010»
15 years 1 months ago
On Set-Based Multiobjective Optimization
Abstract--Assuming that evolutionary multiobjective optimization (EMO) mainly deals with set problems, one can identify three core questions in this area of research: (i) how to fo...
Eckart Zitzler, Lothar Thiele, Johannes Bader
ICIP
2005
IEEE
16 years 8 months ago
Bayesian denoising based on the MAP estimation in wavelet-domain using Bessel K form prior
In this paper, a nonparametric Bayesian estimator in the wavelet domain using the Bessel K Form (BKF) distribution will be presented. Our first contribution is to show how the BKF...
Larbi Boubchir, Jalal Fadili
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
SETN
2010
Springer
16 years 1 months ago
Task-Based Dependency Management for the Preservation of Digital Objects Using Rules
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
Yannis Tzitzikas, Yannis Marketakis, Grigoris Anto...
CSE
2009
IEEE
16 years 1 months ago
Trust Is in the Eye of the Beholder
We carefully investigate humanity’s intuitive understanding of trust and extract from it fundamental properties that succinctly synthesize how trust works. From this detailed ch...
Dimitri do B. DeFigueiredo, Earl T. Barr, Shyhtsun...