Sciweavers

5863 search results - page 119 / 1173
» Calculating Functional Programs
Sort
View
POPL
1998
ACM
15 years 6 months ago
A Functional Representation of Data Structures with a Hole
Data structures with a hole, in other words data structures with an uninitialized field, are useful to write efficient programs: they enable us to construct functional data stru...
Yasuhiko Minamide
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
15 years 6 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach
108
Voted
GLVLSI
1999
IEEE
85views VLSI» more  GLVLSI 1999»
15 years 6 months ago
S2P: A Stable 2-Pole RC Delay and Coupling Noise Metric
The Elmore delay is the metric of choice for performancedriven design applications due to its simple, explicit form and ease with which sensitivity information can be calculated. ...
Emrah Acar, Altan Odabasioglu, Mustafa Celik, Lawr...
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 6 months ago
Comfusy: A Tool for Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, P...
ICALP
2004
Springer
15 years 7 months ago
Nash Equilibria in Discrete Routing Games with Convex Latency Functions
Martin Gairing, Thomas Lücking, Marios Mavron...