4895 search results - page 159 / 979 » Functional Quantum Programming |
134
click to vote
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
116
click to vote
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...
211
click to vote
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...
124
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...
135
click to vote
JMLR
2012
13 years 4 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...