Sciweavers

2829 search results - page 158 / 566
» Regularization Methods for Additive Models
Sort
View
157
Voted
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 10 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
ANSS
2007
IEEE
15 years 8 months ago
Modelling Network Memory Servers with Parallel Processors, Break-downs and Repairs
This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the perform...
Orhan Gemikonakli, Glenford E. Mapp, Enver Ever, D...
NAACL
2010
15 years 4 months ago
Improving Phrase-Based Translation with Prototypes of Short Phrases
We investigate methods of generating additional bilingual phrase pairs for a phrasebased decoder by translating short sequences of source text. Because our translation task is mor...
Frank Liberato, Behrang Mohit, Rebecca Hwa
CIKM
2008
Springer
15 years 8 months ago
Modeling hidden topics on document manifold
Topic modeling has been a key problem for document analysis. One of the canonical approaches for topic modeling is Probabilistic Latent Semantic Indexing, which maximizes the join...
Deng Cai, Qiaozhu Mei, Jiawei Han, Chengxiang Zhai
MICCAI
1998
Springer
15 years 10 months ago
Vascular Shape Segmentation and Structure Extraction Using a Shape-Based Region-Growing Model
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...
Yoshitaka Masutani, Thomas Schiemann, Karl Heinz H...