2333 search results - page 269 / 467 » Recursive Computational Depth |
165
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
119
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose a new method to analyze light transport in homogeneous scattering media. The incident light undergoes multiple bounces in translucent objects, and produces a complex li...
123
click to vote
ICAPR
2005
Springer
15 years 8 months ago
2005
Springer
The RW algorithm has been proposed recently to solve the exact graph matching problem. This algorithm exploits Random Walk theory to compute a topological signature which can be u...
122
click to vote
MLDM
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe a new cluster model which is based on the concept of linear manifolds. The method identifies subsets of the data which are embedded in arbitrary oriented...
116
click to vote
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
Challenging usage policy issues can arise within virtual organizations (VOs) that integrate participants and resources spanning multiple physical institutions. Participants may wi...