375 search results - page 16 / 75 » Making Abstract Machines Less Abstract |
ESSMAC
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
TOOLS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
COLT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract— We prove that given a nearly log-concave distribution, in any partition of the space to two well separated sets, the measure of the points that do not belong to these s...
ICCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...