1888 search results - page 246 / 378 » Proof theory and computational analysis |
135
click to vote
KDD
2012
ACM
13 years 4 months ago
2012
ACM
We present an analysis of user conversations in on-line social media and their evolution over time. We propose a dynamic model that predicts the growth dynamics and structural pro...
106
click to vote
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper presents a new kernel method for appearance-based object recognition, highly robust to noise and occlusion. It consists of a fully connected Markov Random Field that in...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
123
click to vote
SCALESPACE
2009
Springer
15 years 8 months ago
2009
Springer
We study the mathematical and numerical aspects of the estimation of the 3-D shape of a Lambertian scene seen under diffuse illumination. This problem is known as “shape from amb...
97
Voted
GROUP
2007
ACM
15 years 5 months ago
2007
ACM
Actors coordinate their cooperative efforts by acting on the evidence of work previously accomplished. The paper introduces, on the basis of a field study, the concept of stigmerg...