Sciweavers

1642 search results - page 247 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
FASE
2004
Springer
15 years 11 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
ICPR
2008
IEEE
16 years 7 months ago
Visual features with semantic combination using Bayesian network for a more effective image retrieval
In many vision problems, instead of having fully annotated training data, it is easier to obtain just a subset of data with annotations, because it is less restrictive for the use...
Sabine Barrat, Salvatore Tabbone
ICSM
2002
IEEE
15 years 11 months ago
Migration to Object Oriented Platforms: A State Transformation Approach
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
Ying Zou, Kostas Kontogiannis
ICIAP
2005
ACM
16 years 6 months ago
Scatter Search Particle Filter for 2D Real-Time Hands and Face Tracking
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
Antonio S. Montemayor, Juan José Pantrigo, ...
ICASSP
2008
IEEE
16 years 23 days ago
System combination using auxiliary information for speaker verification
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
Luciana Ferrer, Martin Graciarena, Argyrios Zymnis...