Sciweavers

5312 search results - page 861 / 1063
» Business Process Management Systems
Sort
View
AISC
2010
Springer
15 years 9 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
CIKM
2001
Springer
15 years 9 months ago
Advances in Phonetic Word Spotting
Phonetic speech retrieval is used to augment word based retrieval in spoken document retrieval systems, for in and out of vocabulary words. In this paper, we present a new indexin...
Arnon Amir, Alon Efrat, Savitha Srinivasan
VLDB
2001
ACM
123views Database» more  VLDB 2001»
15 years 9 months ago
User-Optimizer Communication using Abstract Plans in Sybase ASE
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
Mihnea Andrei, Patrick Valduriez
140
Voted
EDOC
2000
IEEE
15 years 9 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
HICSS
2000
IEEE
154views Biometrics» more  HICSS 2000»
15 years 9 months ago
User-Interface Design for Medical Informatics: A Case Study of Kaiser Permanente
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
Aaron Marcus, Karl Wieser, John Armitage, Volker F...