3713 search results - page 450 / 743 » Constructing a Calculus of Programs |
146
click to vote
REFLECTION
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
169
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
120
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We consider the problem of classification when multiple observations of a pattern are available, possibly under different transformations. We view this problem as a special case o...
121
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
In this paper, we propose a hierarchical timing-driven Steiner tree algorithm for global routing which considers the minimization of timing delay during the tree construction as t...
138
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We consider the problem of constructing decision trees for entity identification from a given table. The input is a table containing information about a set of entities over a fi...