780 search results - page 121 / 156 » Correctness of Component-Based Adaptation |
SIGIR
1998
ACM
14 years 1 months ago
1998
ACM
We discuss two learning algorithms for text filtering: modified Rocchio and a boosting algorithm called AdaBoost. We show how both algorithms can be adapted to maximize any gene...
SPAA
1997
ACM
14 years 1 months ago
1997
ACM
: This paper presents a network mapping algorithm and proves its correctness assuming a traffic-free network. Respecting well-defined parameters, the algorithm produces a graph iso...
ICDCS
1996
IEEE
14 years 1 months ago
1996
IEEE
We present a group routing protocol for a network of processes. The task of the protocol is to route data messages to each member of a process group. To this end, a tree of proces...
COMPGEOM
1996
ACM
14 years 1 months ago
1996
ACM
In this paper we show how to traverse a subdivision and to report all cells, edges and vertices, without making use of mark bits in the structure or a stack. We do this by perform...
CADE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...