641 search results - page 95 / 129 » Web science: a provocative invitation to computer science |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
SIGADA
1998
Springer
14 years 25 days ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
WEBNET
2001
13 years 10 months ago
2001
: The middle ground between distance learning and standard-issue classroom education is ripe for exploration. In particular, the Open Directory Project shows that groups of people ...
CONCURRENCY
1998
13 years 8 months ago
1998
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...