1063 search results - page 77 / 213 » Generalized Cores |
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
We present contextual collaboration, an approach to building collaborative systems that embeds collaborative capabilities into core applications, and discuss its advantages. We de...
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
Though the Open Archive Initiative Protocol for Metadata Harvesting (OAI-PMH) is becoming the defacto standard for digital libraries, some of its predecessors are still in use. Al...
98
Voted
ICWE
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents a framework for the integration of web-based educational systems. It is part of a research project, MEDEA1 , whose final goal is to develop a general framework ...
100
Voted
TPHOL
2000
IEEE
15 years 2 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
122
Voted
AISC
2010
Springer
15 years 2 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...