Sciweavers

1185 search results - page 78 / 237
» User involvement in development of web based publishing
Sort
View
ERCIMDL
2009
Springer
164views Education» more  ERCIMDL 2009»
15 years 6 months ago
A Web-Based Demo to Interactive Multimodal Transcription of Historic Text Images
Paleography experts spend many hours transcribing historic documents, and state-of-the-art handwritten text recognition systems are not suitable for performing this task automatica...
Verónica Romero, Luis A. Leiva, Vicente Ala...
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
15 years 3 months ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
KES
2007
Springer
15 years 6 months ago
DACS Web Service
DACS (Destination Addressing Control System) Scheme is developed as a new network management scheme. DACS Scheme performs the network management and services efficiently by commun...
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi...
WWW
2004
ACM
16 years 16 days ago
CS AKTive space: representing computer science in the semantic web
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
Monica M. C. Schraefel, Nigel R. Shadbolt, Nichola...
HICSS
2008
IEEE
172views Biometrics» more  HICSS 2008»
15 years 6 months ago
Semantic Web Services Monitoring: An OWL-S Based Approach
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
Roman Vaculín, Katia P. Sycara