59 search results - page 9 / 12 » Integrating Searching and Authoring in Mizar |
CHI
2008
ACM
14 years 7 months ago
2008
ACM
Prototyping and evaluation combine to explore ways that an effective, integrative organization of project-related information might emerge as a by-product of a person's effor...
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
DL
2000
Springer
13 years 11 months ago
2000
Springer
Digital library research is mostly focused on the generation of large collections of multimedia resources and state-ofthe-art tools for their indexing and retrieval. However, digi...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Service discovery is a fundamental concept underpinning the move towards dynamic service-oriented business partnerships. The business process for integrating service discovery and ...
ITICSE
2004
ACM
14 years 27 days ago
2004
ACM
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...