7661 search results - page 96 / 1533 » Languages and the Computing Profession |
182
click to vote
SCP
1998
15 years 4 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
119
Voted
CORR
2000
Springer
15 years 4 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...
199
click to vote
SIGCSE
2012
ACM
14 years 17 days ago
2012
ACM
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
163
click to vote
INFORMATICALT
2010
15 years 2 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...