813 search results - page 18 / 163 » Pipeline-centric provenance model |
APAL
2008
13 years 7 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this work we deal with one-round key-agreement protocols, called Merkle's Puzzles, in the random oracle model, where the players Alice and Bob are allowed to query a rando...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: The LifeWatch Reference Model provides the basis for an interoperable ICT infrastructure for European biodiversity research building on standards whenever feasible. Distinguishin...
INFORMATICALT
2010
13 years 5 months ago
2010
For many businesses and organizations, the achievement of interoperability has proven to be a highly desirable goal. However, without efficient schema mapping mechanisms or models ...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...