12334 search results - page 209 / 2467 » The Use of C |
166
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A new approach is proposed to generate workflow scenarios of scientific applications such as Molecular Dynamics and Monte-Carlo simulations in a distributed environment. The approa...
163
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In the paper, a formulation is proposed for optimal experiment design dedicated to the identification of nonlinear systems. In particular, a recently mentioned redundancy property ...
150
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
187
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
152
click to vote
IMAMS
2007
15 years 8 months ago
2007
We present C1 methods for either interpolating data or for fitting scattered data associated with a smooth function on a two-dimensional smooth manifold Ω embedded into R3 . The ...