Sciweavers

6740 search results - page 301 / 1348
» Using Classification as a Programming Language
Sort
View
127
Voted
CEFP
2005
Springer
15 years 8 months ago
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
Kevin Hammond
124
Voted
ESOP
2008
Springer
15 years 4 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
114
Voted
AAAI
1997
15 years 4 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
133
Voted
IAJIT
2007
104views more  IAJIT 2007»
15 years 2 months ago
A Learning-Classification Based Approach for Word Prediction
: Word prediction is an important NLP problem in which we want to predict the correct word in a given context. Word completion utilities, predictive text entry systems, writing aid...
Hisham Al-Mubaid
124
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol