1567 search results - page 300 / 314 » A Mechanized Model of the Theory of Objects |
WWW
2009
ACM
16 years 11 days ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
107
click to vote
IPMI
2005
Springer
15 years 5 months ago
2005
Springer
This work analyses the accuracy of estimating the location of 3D landmarks and characteristic image structures. Based on nonlinear estimation theory we study the minimal stochastic...
109
click to vote
RIDE
1998
IEEE
15 years 4 months ago
1998
IEEE
The Enhanced Pay-Per-View (EPPV) model for providing continuous-media services associates with each continuous-media clip a display frequency that depends on the clip's popula...
98
Voted
COCO
2006
Springer
15 years 3 months ago
2006
Springer
We consider a general approach to the hoary problem of (im)proving circuit lower bounds. We define notions of hardness condensing and hardness extraction, in analogy to the corres...