1479 search results - page 159 / 296 » Management without (Detailed) Models |
125
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
148
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
140
click to vote
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Long Short-Term Memory (LSTM) recurrent neural networks (RNNs) are local in space and time and closely related to a biological model of memory in the prefrontal cortex. N...
135
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
147
click to vote
IJCAI
2007
15 years 6 months ago
2007
The paper describes a simple but effective framework for visual object tracking in video sequences. The main contribution of this work lies in the introduction of a case-based rea...