4631 search results - page 870 / 927 » Experiences with an Environment Generation System |
AUTOMATICA
2011
13 years 4 months ago
2011
We present a framework to solve a finite-time optimal control problem for parabolic partial differential equations (PDEs) with diffusivity-interior actuators, which is motivate...
HIPEAC
2011
Springer
12 years 8 months ago
2011
Springer
For each computer system generation, there are always applications or workloads for which the main memory size is the major limitation. On the other hand, in many cases, one could...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Long-duration tracking of general targets is quite challenging for computer vision, because in practice target may undergo large uncertainties in its visual appearance and the unc...
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...