1458 search results - page 32 / 292 » The sequentially realizable functionals |
142
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...
110
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper, we present results for significantly improving the performance of sequential circuit diagnostic test pattern generation (DATPG). Our improvements are achieved by de...
AAAI
2010
15 years 4 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
89
Voted
ENTCS
2007
15 years 2 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
108
Voted
TIT
2011
14 years 9 months ago
2011
Motivated by a broad range of potential applications, we address the quantile prediction problem of real-valued time series. We present a sequential quantile forecasting model bas...