1081 search results - page 175 / 217 » Type Inference of SELF |
102
click to vote
ESOP
2007
Springer
15 years 6 months 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...
123
click to vote
HUMO
2007
Springer
15 years 6 months 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...
ICSM
2005
IEEE
15 years 5 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...
115
click to vote
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
HASKELL
2005
ACM
15 years 5 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 ...