4744 search results - page 334 / 949 » Connected Computing |
124
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
149
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
We demonstrate the use of a "smart camera" to accelerate two very different image processing applications. The smart camera consists of a high quality video camera and f...
146
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
116
click to vote
ENTCS
2008
15 years 4 months ago
2008
Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclic...
118
click to vote
NECO
2006
15 years 4 months ago
2006
We study in this paper the effect of an unique initial stimulation on random recurrent networks of leaky integrate and fire neurons. Indeed given a stochastic connectivity this so...