2162 search results - page 80 / 433 » Automated Reasoning on Feature Models |
120
Voted
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
129
Voted
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
136
Voted
INTERSPEECH
2010
14 years 10 months ago
2010
Over the years, the focus in noise robust speech recognition has shifted from noise robust features to model based techniques such as parallel model combination and uncertainty de...
158
Voted
RWEB
2010
Springer
15 years 1 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
130
Voted
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
The goal of this paper is to investigate the impact of dictionary choosing for a total variation dictionary model. After theoretical analysis, we present the experiments in which ...