Sciweavers

3299 search results - page 353 / 660
» A general mathematics of names
Sort
View
EC
2007
145views ECommerce» more  EC 2007»
15 years 6 months ago
Covariant Genetic Dynamics
We present a covariant form for the dynamics of a canonical GA of arbitrary cardinality, showing how each genetic operator can be uniquely represented by a mathematical object - a...
Chryssomalis Chryssomalakos, Christopher R. Stephe...
JMIV
2006
72views more  JMIV 2006»
15 years 6 months ago
A Unifying and Rigorous Shape from Shading Method Adapted to Realistic Data and Applications
We propose a new method for the Lambertian Shape From Shading (SFS) problem based on the notion of Crandall-Lions viscosity solution. This method has the advantage of requiring the...
Emmanuel Prados, Fabio Camilli, Olivier D. Faugera...
MCS
2008
Springer
15 years 6 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski
ENTCS
2007
110views more  ENTCS 2007»
15 years 6 months ago
A Bayesian Model for Event-based Trust
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
Mogens Nielsen, Karl Krukow, Vladimiro Sassone
ENTCS
2007
121views more  ENTCS 2007»
15 years 6 months ago
Incremental Parametric Development of Greedy Algorithms
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
Dominique Cansell, Dominique Méry