7827 search results - page 89 / 1566 » time 2007 |
166
click to vote
ERSA
2006
15 years 6 months ago
2006
Reconfigurable computing offers an attractive solution to accelerating infrared scene simulations. In infrared scene simulations, the modeling of a number of atmospheric and optic...
158
click to vote
NIPS
2003
15 years 6 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
154
Voted
FCCM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper describes a novel architecture for the hardware implementation of non-linear multi-layer cellular neural networks. This makes it feasible to design CNNs with millions o...
161
click to vote
TIME
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
110
click to vote
DEDS
2007
15 years 5 months ago
2007
This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...