1081 search results - page 175 / 217 » Type Inference of SELF |
173
click to vote
ESOP
2007
Springer
16 years 5 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...
202
click to vote
HUMO
2007
Springer
16 years 5 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...
175
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
179
click to vote
AOSD
2005
ACM
15 years 11 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
144
click to vote
HASKELL
2005
ACM
15 years 11 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...