7058 search results - page 607 / 1412 » Modelling Business Process Performance |
233
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
218
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
Language models for speech recognition tend to be brittle across domains, since their performance is vulnerable to changes in the genre or topic of the text on which they are trai...
302
click to vote
CLIMA
2011
14 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
190
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
Visual tracking is still a challenging problem in computer vision. The applications of Visual Tracking are far-reaching, ranging from surveillance and monitoring to smart rooms. I...
198
click to vote
IPMI
2007
Springer
16 years 8 months ago
2007
Springer
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...