Sciweavers

1458 search results - page 11 / 292
» The sequentially realizable functionals
Sort
View
IFL
2004
Springer
15 years 5 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
EVOW
2004
Springer
15 years 5 months ago
On the Structure of Sequential Search: Beyond "No Free Lunch"
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...
Thomas M. English
64
Voted
SCL
2008
82views more  SCL 2008»
14 years 11 months ago
An efficient algorithm for positive realizations
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
Wojciech Czaja, Philippe Jaming, Máté...
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 6 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak
113
Voted
ACL
2009
14 years 9 months ago
Dependency Based Chinese Sentence Realization
This paper describes log-linear models for a general-purpose sentence realizer based on dependency structures. Unlike traditional realizers using grammar rules, our method realize...
Wei He, Haifeng Wang, Yuqing Guo, Ting Liu