3796 search results - page 552 / 760 » Presentations by Programmers for Programmers |
114
click to vote
CSUR
2000
15 years 2 months ago
2000
: Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of co...
117
Voted
ENTCS
2002
15 years 2 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
100
click to vote
EOR
2002
15 years 2 months ago
2002
It is argued that the cultural roots within Europe are powerful links and that there exist other regions as well, powerfully stamped by Indian, Chinese, Japanese, or Arabian and o...
106
Voted
ESWA
2002
15 years 2 months ago
2002
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
JCAL
2002
15 years 2 months ago
2002
School for All in the EduCities programme is an innovative project funded by both the Ministry of Education and the National Science Council of Taiwan. The project aims to challeng...