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