14 search results - page 3 / 3 » A Prototype Inference Engine for Rule-Based Geometric Reason... |
120
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
150
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
147
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
202
Voted
TASE
2011
IEEE
14 years 9 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...