Sciweavers

2403 search results - page 66 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
112
Voted
CASE
2011
102views more  CASE 2011»
14 years 29 days ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
NAACL
2007
15 years 2 months ago
Generating Case Markers in Machine Translation
We study the use of rich syntax-based statistical models for generating grammatical case for the purpose of machine translation from a language which does not indicate case explic...
Kristina Toutanova, Hisami Suzuki
121
Voted
PC
2012
223views Management» more  PC 2012»
13 years 8 months ago
Using shared arrays in message-driven parallel programs
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
Phil Miller, Aaron Becker, Laxmikant V. Kalé...
135
Voted
EVOW
2012
Springer
13 years 8 months ago
Multiobjectivizing the HP Model for Protein Structure Prediction
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...
Mario Garza-Fabre, Eduardo Rodriguez-Tello, Gregor...
SDM
2007
SIAM
187views Data Mining» more  SDM 2007»
15 years 2 months ago
Topic Models over Text Streams: A Study of Batch and Online Unsupervised Learning
Topic modeling techniques have widespread use in text data mining applications. Some applications use batch models, which perform clustering on the document collection in aggregat...
Arindam Banerjee, Sugato Basu