11484 search results - page 365 / 2297 » Modeling in the Large and Modeling in the Small |
203
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
For large scale automatic semantic video characterization, it is necessary to learn and model a large number of semantic concepts. These semantic concepts do not exist in isolatio...
177
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
166
click to vote
WSC
2001
15 years 8 months ago
2001
Congestion control algorithms, such as TCP or the closelyrelated additive increase-multiplicative decrease algorithms, are extremely difficult to simulate on a large scale. The re...
185
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In this paper, Receding Horizon Model Predictive Control (RHMPC) of nonlinear systems subject to input and state constraints is considered. We propose to estimate the terminal reg...
153
click to vote
NECO
2007
15 years 6 months ago
2007
In a recent paper Prinz et al. (Nature Neurosci. 7, 1345-52 (2004)) have addressed the fundamental question, whether neural systems are built with a fixed blueprint of tightly con...