Sciweavers

1261 search results - page 174 / 253
» A Hierarchy of Temporal Properties
Sort
View
BPM
2006
Springer
149views Business» more  BPM 2006»
14 years 1 days ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
ESANN
2008
13 years 11 months ago
Neural networks for computational neuroscience
Computational neuroscience is an appealing interdisciplinary domain, at the interface between biology and computer science. It aims at understanding the experimental data obtained...
David Meunier, Hélène Paugam-Moisy
ESANN
2006
13 years 11 months ago
Bayesian source separation: beyond PCA and ICA
Blind source separation (BSS) has become one of the major signal and image processing area in many applications. Principal component analysis (PCA) and Independent component analys...
Ali Mohammad-Djafari
ICVGIP
2004
13 years 11 months ago
Robust Segmentation of Unconstrained Online Handwritten Documents
A segmentation algorithm, which can detect different regions of a handwritten document such as text lines, tables and sketches will be extremely useful in a variety of application...
Anoop M. Namboodiri, Anil K. Jain
IJCAI
2001
13 years 11 months ago
Planning as Model Checking for Extended Goals in Non-deterministic Domains
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
Marco Pistore, Paolo Traverso