Sciweavers

1892 search results - page 231 / 379
» Warren's Abstract Machine
Sort
View
CC
2003
Springer
102views System Software» more  CC 2003»
15 years 3 months ago
Precision in Practice: A Type-Preserving Java Compiler
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
Christopher League, Zhong Shao, Valery Trifonov
94
Voted
COLT
2003
Springer
15 years 3 months ago
Preference Elicitation and Query Learning
Abstract. In this paper we initiate an exploration of relationships between “preference elicitation”, a learning-style problem that arises in combinatorial auctions, and the pr...
Avrim Blum, Jeffrey C. Jackson, Tuomas Sandholm, M...
103
Voted
ECML
2003
Springer
15 years 3 months ago
A Hybrid Language Model based on Stochastic Context-free Grammars
Abstract. This paper explores the use of initial Stochastic Context-Free Grammars (SCFG) obtained from a treebank corpus for the learning of SCFG by means of estimation algorithms....
Diego Linares, José-Miguel Benedí, J...
111
Voted
ERCIMDL
2003
Springer
165views Education» more  ERCIMDL 2003»
15 years 3 months ago
Automatic Multi-label Subject Indexing in a Multilingual Environment
Abstract. This paper presents an approach to automatically subject index fulltext documents with multiple labels based on binary support vector machines (SVM). The aim was to test ...
Boris Lauser, Andreas Hotho
88
Voted
ESSMAC
2003
Springer
15 years 3 months ago
Nonlinear Predictive Control with a Gaussian Process Model
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
Jus Kocijan, Roderick Murray-Smith