Sciweavers

10874 search results - page 165 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
EMMCVPR
2003
Springer
15 years 11 months ago
Curvature Vector Flow to Assure Convergent Deformable Models for Shape Modelling
Poor convergence to concave shapes is a main limitation of snakes as a standard segmentation and shape modelling technique. The gradient of the external energy of the snake represe...
Debora Gil, Petia Radeva
CONCUR
2009
Springer
16 years 1 months ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
JITECH
2010
160views more  JITECH 2010»
15 years 1 months ago
Social software for business process modeling
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
COLING
2010
15 years 1 months ago
Translation Model Generalization using Probability Averaging for Machine Translation
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
Nan Duan, Hong Sun, Ming Zhou
BMCBI
2005
152views more  BMCBI 2005»
15 years 6 months ago
Improved profile HMM performance by assessment of critical algorithmic features in SAM and HMMER
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
Markus Wistrand, Erik L. L. Sonnhammer