Sciweavers

6757 search results - page 354 / 1352
» Knowledge Analysis on Process Models
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 7 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
150
Voted
AIA
2007
15 years 8 months ago
A system for industrial-strength linguistic parsing of medical documents
This paper describes SPMED, a system for robust and accurate linguistic parsing of medical documents which is used in several industrial products. The basic design criterion of th...
S. Schmeier, M. Hirsch
ICMCS
2005
IEEE
114views Multimedia» more  ICMCS 2005»
16 years 10 days ago
A User-Oriented Multimodal-Interface Framework for General Content-Based Multimedia Retrieval
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
Jinchang Ren, Theodore Vlachos, Vasileios Argyriou
AAAI
2008
15 years 9 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
ICDCSW
2000
IEEE
15 years 11 months ago
Model-Based Multi-Modal Information Retrieval from Large Archives
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...
Chung-Sheng Li, Yuan-Chi Chang, Lawrence D. Bergma...