1813 search results - page 174 / 363 » Instance Pruning Techniques |
167
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
180
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
161
click to vote
CASCON
2007
15 years 8 months ago
2007
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
187
click to vote
EMNLP
2008
15 years 8 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...
164
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...