Sciweavers

6253 search results - page 507 / 1251
» Use Case Modeling Guidelines
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
Recognition of phonemes and words in singing
This paper studies the influence of n-gram language models in the recognition of sung phonemes and words. We train uni-, bi-, and trigram language models for phonemes and bi- and...
Annamaria Mesaros, Tuomas Virtanen
CVPR
2008
IEEE
16 years 8 months ago
Who killed the directed model?
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
Justin Domke, Alap Karapurkar, Yiannis Aloimonos
173
Voted
CAV
2001
Springer
119views Hardware» more  CAV 2001»
15 years 11 months ago
Certifying Model Checkers
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
Kedar S. Namjoshi
APGV
2006
ACM
107views Visualization» more  APGV 2006»
16 years 10 days ago
Evaluation of supra-threshold perceptual metrics for 3D models
Measures of dissimilarity of 3D models are necessary in a wide range of applications such as geometry compression, simplification, and 3D model retrieval. In many cases a metric ...
Ioan Cleju, Dietmar Saupe
GRAPHITE
2004
ACM
15 years 11 months ago
Smooth constraints for spline variational modeling
This article introduces a new class of constraints for spline variational modeling, which allows more flexible user specification, as a constrained point can ”slide” along a...
Julien Lenoir, Laurent Grisoni, Philippe Meseure, ...