339 search results - page 1 / 68 » Constraint Functional Logic Programming for Origami Construc... |
111
Voted
ENTCS
2008
15 years 14 days ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
117
Voted
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
94
Voted
ICFP
2006
ACM
16 years 11 days ago
2006
ACM
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
107
Voted
DAC
2009
ACM
15 years 5 months ago
2009
ACM
Stream processing represents an important class of applications that spans telecommunications, multimedia and the Internet. The implementation of streaming programs in FPGAs has a...
129
Voted
AISC
2004
Springer
15 years 5 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...