Sciweavers

4127 search results - page 312 / 826
» Evaluation methods for topic models
Sort
View
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CLOR
2006
15 years 8 months ago
An Implicit Shape Model for Combined Object Categorization and Segmentation
We present a method for object categorization in real-world scenes. Following a common consensus in the field, we do not assume that a figure-ground segmentation is available prior...
Bastian Leibe, Ales Leonardis, Bernt Schiele
ICTAI
2006
IEEE
16 years 4 days ago
A Multi-HMM Approach to ECG Segmentation
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...
Julien Thomas, Cédric Rose, François...
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
15 years 3 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler
ANLP
1994
129views more  ANLP 1994»
15 years 7 months ago
Machine Translation of Sentences with Fixed Expressions
This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
Naoto Katoh, Teruaki Aizawa