526 search results - page 36 / 106 » Improving formatting documents by coupling formatting system... |
MKM
2005
Springer
15 years 3 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
55
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Conferences are still valuable for established attendees and potential new audiences, and the overall audience for events can be increased, helping alleviate competition between p...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Video conferencing is still considered a poor alternative to face-to-face meetings. In the business setting, where these systems are most prevalent, the misuse of video conferenci...
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
Formation of suitable overlay-network topologies that are able to reflect the structure of the underlying network-infrastructure, has rarely been addressed by peer-to-peer applic...
ACSC
2005
IEEE
14 years 11 months ago
2005
IEEE
Gradiance On-Line Accelerated Learning GOAL is a system for creating and automatically grading homeworks, programming laboratories, and tests. Through the concept of root questi...