3185 search results - page 17 / 637 » Domain and language evaluation results |
187
click to vote
MEMOCODE
2010
IEEE
15 years 3 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
190
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
158
click to vote
ISMVL
2007
IEEE
16 years 9 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
155
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
186
click to vote
COGSCI
2010
15 years 6 months ago
2010
many abstract categories (e.g., ``equivalence'') is innate. Although Plato argued with his contemporaries who advocated the empirical basis of knowledge, it was the Briti...