1816 search results - page 104 / 364 » Trace oblivious computation |
ICCSA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Images rendered with traditional computer graphics techniques, such as scanline rendering and ray tracing, appear focused at all depths. However, there are advantages to ...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
A boundary sequence is a good representation of arbitrary shaped regions, but not directly used in computing shape features such as area, centroid, orientation, and so forth. In t...
IWCF
2009
Springer
14 years 5 months ago
2009
Springer
The recent popularity of research on topics of multimedia forensics justifies reflections on the definition of the field. This paper devises an ontology that structures forensi...
GPC
2007
Springer
14 years 4 months ago
2007
Springer
A grid has to provide strong incentive for participating sites to join and stay in it. Participating sites are concerned with the performance improvement brought by the gird for th...