908 search results - page 140 / 182 » Generating maximal models using the stable model semantics |
116
click to vote
WSC
2004
15 years 5 months ago
2004
We consider the problem of optimal allocation of computing budget to maximize the probability of correct selection in the ordinal optimization setting. This problem has been studi...
151
Voted
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
164
click to vote
ISMIS
1997
Springer
15 years 8 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
141
click to vote
FORTE
2000
15 years 5 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
152
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...