1458 search results - page 140 / 292 » The sequentially realizable functionals |
125
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
126
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we provide a methodology to perform both bus partitioning and bus frequency assignment to each of the bus segment simultaneously while optimizing both power consump...
131
Voted
ICONIP
2007
15 years 5 months ago
2007
In the paper, we present a new approach to multi-way Blind Source Separation (BSS) and corresponding 3D tensor factorization that has many potential applications in neuroscience an...
136
click to vote
SBBD
2007
15 years 5 months ago
2007
The main contribution of this paper is a bulk-loading algorithm for multi-way dynamic metric access methods based on the covering radius of a representative, like the Slim-tree. Th...
128
Voted
NIPS
2004
15 years 5 months ago
2004
Motor control depends on sensory feedback in multiple modalities with different latencies. In this paper we consider within the framework of reinforcement learning how different s...