Sciweavers

4716 search results - page 168 / 944
» Tangible functional programming
Sort
View
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 2 months ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
SIAMJO
2008
93views more  SIAMJO 2008»
15 years 2 months ago
Multivariable Utility Functions
Abstract. Utility functions of several variables are ubiquitous in economics. Their maximization requires inversion of the gradient map. Using convex analysis tools, we provide a r...
Maria B. Chiarolla, Ulrich G. Haussmann
122
Voted
PROMS
2001
Springer
92views Multimedia» more  PROMS 2001»
15 years 6 months ago
Providing VCR Functionality in Staggered Video Broadcasting
A true video-on-demand(TVOD) system lets users view any video program, at any time, and perform any VCR functions, but its peruser video delivery cost is too expensive. A near vide...
Jin B. Kwon, Heon Young Yeom
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 6 months ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer
AAAI
2007
15 years 4 months ago
Visualization and Adjustment of Evaluation Functions Based on Evaluation Values and Win Probability
We present a method of visualizing and adjusting the evaluation functions in game programming in this paper. It is widely recognized that an evaluation function should assign a hi...
Shogo Takeuchi, Tomoyuki Kaneko, Kazunori Yamaguch...