4959 search results - page 186 / 992 » Imperative Functional Programming |
117
Voted
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
213
Voted
ICDE
2001
IEEE
16 years 3 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
125
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...
107
click to vote
STOC
2006
ACM
16 years 2 months ago
2006
ACM
We consider the problem of maximizing welfare when allocating m items to n players with subadditive utility functions. Our main result is a way of rounding any fractional solution...
107
click to vote
COLT
2001
Springer
15 years 7 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...