3116 search results - page 232 / 624 » Positively dependent types |
171
click to vote
CATS
2006
15 years 7 months ago
2006
We study the problem of orienting the edges of a weighted graph such that the maximum weighted outdegree of vertices is minimized. This problem, which has applications in the guar...
170
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
190
click to vote
CSREAESA
2006
15 years 7 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
161
click to vote
LWA
2004
15 years 7 months ago
2004
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
159
Voted
WSC
2004
15 years 7 months ago
2004
We consider how simulation metamodels can be used to optimize the performance of a system that depends on a number of factors. We focus on the situation where the number of simula...