Sciweavers

3294 search results - page 110 / 659
» Taxonomy of Process Modeling Languages
Sort
View
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 9 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
DEXA
2010
Springer
186views Database» more  DEXA 2010»
15 years 3 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
ADC
2007
Springer
107views Database» more  ADC 2007»
15 years 9 months ago
A Processing Model for the Optimal Querying of Encrypted XML Documents in XQuery
XQuery is a powerful and convenient language that is designed for querying the data in XML documents. In this paper, we address how to optimally query encrypted XML documents usin...
Tao-Ku Chang, Gwan-Hwan Hwang
ICASSP
2008
IEEE
15 years 9 months ago
A covariance kernel for SVM language recognition
Discriminative training for language recognition has been a key tool for improving system performance. In addition, recognition directly from shifted-delta cepstral features has p...
William M. Campbell
CONNECTION
2008
178views more  CONNECTION 2008»
15 years 3 months ago
Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
Finale Doshi, Nicholas Roy