Sciweavers

1185 search results - page 78 / 237
» User involvement in development of web based publishing
Sort
View
146
Voted
ERCIMDL
2009
Springer
164views Education» more  ERCIMDL 2009»
16 years 11 days 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 9 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 12 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 6 months 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»
16 years 7 days 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