Sciweavers

785 search results - page 2 / 157
» Automated Analysis of Feature Models Using Atomic Sets
Sort
View
TACAS
2010
Springer
221views Algorithms» more  TACAS 2010»
13 years 11 months ago
Trace-Based Symbolic Analysis for Atomicity Violations
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aart...
ACL
1998
13 years 6 months ago
Automated Scoring Using A Hybrid Feature Identification Technique
This study exploits statistical redundancy inherent in natural language to automatically predict scores for essays. We use a hybrid feature identification method, including syntac...
Jill Burstein, Karen Kukich, Susanne Wolff, Chi Lu...
VAMOS
2007
Springer
13 years 11 months ago
FAMA: Tooling a Framework for the Automated Analysis of Feature Models
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
David Benavides, Sergio Segura, Pablo Trinidad, An...
CVPR
2007
IEEE
14 years 6 months ago
Unsupervised Activity Perception by Hierarchical Bayesian Models
We propose a novel unsupervised learning framework for activity perception. To understand activities in complicated scenes from visual data, we propose a hierarchical Bayesian mod...
Xiaogang Wang, Xiaoxu Ma, Eric Grimson
INFORMATICALT
1998
91views more  INFORMATICALT 1998»
13 years 4 months ago
Forecasting Automation: an Emerging Branch of Forecasting Engineering
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
Andrey Kharchenko