Sciweavers

1874 search results - page 5 / 375
» Abstract Machine for LDL
Sort
View
ICTAI
2010
IEEE
13 years 4 months ago
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
The abstract goes here.
Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
BMCBI
2007
138views more  BMCBI 2007»
13 years 7 months ago
A novel Bayesian approach to quantify clinical variables and to determine their spectroscopic counterparts in 1H NMR metabonomic
Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...
Aki Vehtari, Ville-Petteri Mäkinen, Pasi Soin...
ENTCS
2008
129views more  ENTCS 2008»
13 years 7 months ago
The York Abstract Machine
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...
Greg Manning, Detlef Plump
ASM
2004
ASM
14 years 26 days ago
The Cryptographic Abstract Machine
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
Dean Rosenzweig, Davor Runje