6740 search results - page 166 / 1348 » Using Classification as a Programming Language |
181
click to vote
PLDI
1994
ACM
15 years 5 months ago
1994
ACM
Integer division remains expensive on today's processors as the cost of integer multiplication declines. We present code sequences for division by arbitrary nonzero integer c...
118
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Many problems in chemistry, robotics or molecular biology can be expressed as a Distance CSP4 . In this paper, we propose a specific methodology for tackling uncertainties in this...
RTA
2010
Springer
15 years 5 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
105
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
131
click to vote
ACL
2008
15 years 3 months ago
2008
Automatic extraction of collocations from large corpora has been the focus of many research efforts. Most approaches concentrate on improving and combining known lexical associati...