Sciweavers

3914 search results - page 169 / 783
» Automating SLA modeling
Sort
View
108
Voted
CSL
2002
Springer
15 years 2 months ago
Transformation streams and the HMM error model
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
M. J. F. Gales
119
Voted
ISMAR
2008
IEEE
15 years 9 months ago
OutlinAR: an assisted interactive model building system with reduced computational effort
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
Pished Bunnun, Walterio W. Mayol-Cuevas
126
Voted
ASP
2001
Springer
15 years 7 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
114
Voted
DLOG
2010
15 years 19 days ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves
104
Voted
ICPR
2008
IEEE
16 years 3 months ago
Hand modeling and tracking from voxel data: An integrated framework with automatic initialization
We propose an integrated framework for automated hand model initialization and tracking using voxel data. Starting with an initial specific hand pose, the Laplacian Eigenspace (LE...
Cuong Tran, Mohan M. Trivedi