598 search results - page 11 / 120 » Generic Trace Theory |
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
Even though the speed of software ray tracing has recently been increased to interactive performance even on standard PCs, these systems usually only supported triangles as geomet...
ECBS
2007
IEEE
14 years 2 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
IFIPTCS
2010
13 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
CVPR
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...