6201 search results - page 336 / 1241 » Implementation of Axiomatic Language |
178
Voted
IJPRAI
2010
15 years 4 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new...
213
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
196
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
290
click to vote
Book
This book shows how to implement some AI techniques in java such as Search, Reasoning, Semantic Web, Expert Systems, Genetic Algorithms, Neural Networks, Machine Learning with Weka...