813 search results - page 14 / 163 » Pipeline-centric provenance model |
FLAIRS
2007
13 years 10 months ago
2007
Although the elaboration of the case representation is the key problem of the case-based reasoning system conception, there exists no proven methodology targeted to this task. Thi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
WSC
2007
13 years 10 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
IWSAS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
3DPH
2009
13 years 8 months ago
2009
Statistical Shape Models have been proven to be valuable tools for segmenting anatomical structures of arbitrary topology. Being based on the statistical description of representat...