Sciweavers

4498 search results - page 194 / 900
» How to Invent Functions
Sort
View
FSTTCS
2006
Springer
15 years 8 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
APL
1995
ACM
15 years 8 months ago
The Role of Composition in Computer Programming
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
Donald B. McIntyre
136
Voted
SGP
2007
15 years 6 months ago
Shape optimization using reflection lines
Many common objects have highly reflective metallic or painted finishes. Their appearance is primarily defined by the distortion the curved shape of the surface introduces in the ...
E. Tosun, Yotam I. Gingold, Jason Reisman, Denis Z...
APPROX
2008
Springer
88views Algorithms» more  APPROX 2008»
15 years 6 months ago
Limitations of Hardness vs. Randomness under Uniform Reductions
We consider (uniform) reductions from computing a function f to the task of distinguishing the output of some pseudorandom generator G from uniform. Impagliazzo and Wigderson [IW]...
Dan Gutfreund, Salil P. Vadhan
BIBE
2008
IEEE
112views Bioinformatics» more  BIBE 2008»
15 years 6 months ago
Feature selection and classification for assessment of chronic stroke impairment
Recent advances of robotic/mechanical devices enable us to measure a subject's performance in an objective and precise manner. The main issue of using such devices is how to r...
Jae-Yoon Jung, Janice I. Glasgow, Stephen H. Scott