376 search results - page 63 / 76 » Collaborative modeling of business processes: a comparative ... |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
ICA
2004
Springer
2004
Springer
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
15 years 3 months ago
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
BMCBI
2010
14 years 9 months ago
2010
Background: One of the challenges of bioinformatics remains the recognition of short signal sequences in genomic DNA such as donor or acceptor splice sites, splicing enhancers or ...
92
Voted
NORDICHI
2004
ACM
15 years 3 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...