1301 search results - page 120 / 261 » Specifications via Realizability |
157
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
142
click to vote
CN
2004
15 years 3 months ago
2004
This paper presents a market-enabling framework where users, content providers and network operators can interact in the seamless, transparent sale and delivery of a wide range of...
127
click to vote
CN
1998
15 years 3 months ago
1998
The World Wide Web currently has a huge amount of data, with practically no classification information, and this makes it extremely difficult to handle effectively. It has been re...
164
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
128
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...