5326 search results - page 268 / 1066 » On what we can ensure |
176
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
159
click to vote
GRAPHITE
2005
ACM
16 years 5 days ago
2005
ACM
We present a meshing and rendering framework for tetrahedral meshes that constructs a multi-resolution representation and uses this representation to adapt the mesh to rendering p...
170
click to vote
APCSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
190
click to vote
UAI
1998
15 years 8 months ago
1998
tigate the use of temporally abstract actions, or macro-actions, in the solution of Markov decision processes. Unlike current models that combine both primitive actions and macro-...
179
click to vote
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...