17129 search results - page 436 / 3426 » Applied Computing |
179
click to vote
WOLLIC
2007
Springer
16 years 28 days ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
112
click to vote
CIE
2005
Springer
16 years 10 days ago
2005
Springer
The d-c.e. (difference of c.e.) and dbc (divergence bounded computable) reals are two important subclasses of ∆0 2-reals which have very interesting computability-theoretical as...
201
Voted
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
191
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
158
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...