557 search results - page 47 / 112 » The L4.verified Project - Next Steps |
CSREAESA
2006
13 years 10 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
DMIN
2006
13 years 10 months ago
2006
The stochastic discrimination (SD) theory considers learning as building models of uniform coverage over data distributions. Despite successful trials of the derived SD method in s...
EVENT
2001
13 years 10 months ago
2001
A first step towards an understanding of the semantic content in a video is the reliable detection and recognition of actions performed by objects. This is a dificult problem due ...
ESANN
2003
13 years 10 months ago
2003
The resource constraint project scheduling problem (RCPSP) is an NP-hard benchmark problem in scheduling which takes into account the limitation of resources’ availabilities in ...
WSCG
2003
13 years 10 months ago
2003
In the last two decades the problem of accurately capturing the geometry of an object was extensively studied, while the acquisition of high-quality textures only in recent years ...