1888 search results - page 246 / 378 » Proof theory and computational analysis |
187
click to vote
KDD
2012
ACM
13 years 8 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...
161
click to vote
ICPR
2002
IEEE
16 years 7 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...
136
click to vote
DAC
2005
ACM
16 years 7 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...
175
click to vote
SCALESPACE
2009
Springer
16 years 20 days 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...
140
click to vote
GROUP
2007
ACM
15 years 10 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...