1458 search results - page 90 / 292 » The sequentially realizable functionals |
137
Voted
NIPS
2008
15 years 5 months ago
2008
In this paper we aim to train deep neural networks for rapid visual recognition. The task is highly challenging, largely due to the lack of a meaningful regularizer on the functio...
144
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
123
Voted
FCCM
2000
IEEE
15 years 8 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
124
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a computationally efficient implementation of positive-real balanced truncation (PRBT) for symmetric multiple-input multiple-output (MIMO) systems. The solution of a p...
133
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
- In recent years, many quantum cryptographic schemes have been proposed. However, it seems that there are many technical difficulties to realize them (except Quantum Key Distribut...