2646 search results - page 330 / 530 » Local Type Inference |
187
click to vote
SMI
2007
IEEE
16 years 1 months 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...
187
click to vote
ECML
2007
Springer
16 years 28 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...
192
click to vote
ESOP
2007
Springer
16 years 28 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...
205
click to vote
AOSD
2005
ACM
16 years 10 days ago
2005
ACM
Middleware becomes increasingly important in building distributed applications. Conventional middleware systems are designed, implemented, and packaged before applications are dev...
163
click to vote
HASKELL
2005
ACM
16 years 10 days 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 ...