Sciweavers

785 search results - page 2 / 157
» Automated Analysis of Feature Models Using Atomic Sets
Sort
View
114
Voted
TACAS
2010
Springer
221views Algorithms» more  TACAS 2010»
15 years 4 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
14 years 10 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...
73
Voted
VAMOS
2007
Springer
15 years 3 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
15 years 11 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»
14 years 9 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