10435 search results - page 313 / 2087 » Computational Biology and Language |
218
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
173
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
186
click to vote
ACL
2012
13 years 9 months ago
2012
In this paper, we propose a computational approach to generate neologisms consisting of homophonic puns and metaphors based on the category of the service to be named and the prop...
171
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
The educationally disadvantaged people in contextaware computing are those without any programming experience, and are unable to build context-aware applications with the current ...
150
click to vote
TCS
2008
15 years 6 months ago
2008
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and relate...