Sciweavers

6549 search results - page 136 / 1310
» Parsimonious additive models
Sort
View
DASFAA
1999
IEEE
74views Database» more  DASFAA 1999»
14 years 2 months ago
Recovery in Distributed Extended Long-lived Transaction Models
This paper addresses the recovery and the rollback problem in distributed collaborative transactions. We propose a solution to the problem in a generalized ARIES [9] framework. We...
M. M. Gore, R. K. Ghosh
IUI
1993
ACM
14 years 2 months ago
Knowledgeable development environments using shared design models
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
Robert Neches, James D. Foley, Pedro A. Szekely, P...
CAV
2006
Springer
120views Hardware» more  CAV 2006»
14 years 1 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
FLAIRS
2007
14 years 12 days ago
An Approach to Email Categorization with the ME Model
This paper puts forward a hierarchical approach for categorizing emails with the ME model based on its contents and properties. This approach categorizes emails in a two-phase way...
Peifeng Li, Jinhui Li, Qiaoming Zhu
ACL
2008
13 years 11 months ago
Combining Multiple Resources to Improve SMT-based Paraphrasing Model
This paper proposes a novel method that exploits multiple resources to improve statistical machine translation (SMT) based paraphrasing. In detail, a phrasal paraphrase table and ...
Shiqi Zhao, Cheng Niu, Ming Zhou, Ting Liu, Sheng ...