1072 search results - page 173 / 215 » Object-Oriented Type Inference |
161
click to vote
IAT
2007
IEEE
16 years 28 days ago
2007
IEEE
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
178
click to vote
SMI
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper explores a sketch-based interface for quickly yet accurately creating visually realistic hair for virtual characters. Recently, physically-based models have proved succ...
178
click to vote
ECML
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Statistical debugging uses machine learning to model program failures and help identify root causes of bugs. We approach this task using a novel Delta-Latent-Dirichlet-Al...
185
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
216
click to vote
HUMO
2007
Springer
16 years 22 days ago
2007
Springer
We present a method to simultaneously estimate 3d body pose and action categories from monocular video sequences. Our approach learns a lowdimensional embedding of the pose manifol...