2005 search results - page 248 / 401 » Business Process Knowledge Modelling: Method and Tool |
106
click to vote
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
The POIROT project is a four-year effort to develop an architecture that integrates the products of a number of targeted reasoning and learning components to produce executable re...
151
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
180
click to vote
FORTE
2009
15 years 2 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
138
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a Kalman tracking approach to re-estimate clean spectral amplitude from noisy speech spectrum for re-synthesis based speech enhancement. The motivation of usin...
140
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...