1170 search results - page 57 / 234 » Between ends and fibers |
INFORMATICALT
2006
14 years 12 months ago
2006
Abstract. Localization is a complex process based on translation and adaptation of software features. Usually localization progress is identified with the number of translated reso...
JSW
2008
14 years 12 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
103
click to vote
CL
2000
Springer
14 years 11 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
NC
2002
14 years 11 months ago
2002
In this paper, Parallel Evolutionary Algorithms for integer weight neural network training are presented. To this end, each processor is assigned a subpopulation of potential solut...
ISMM
2009
Springer
15 years 6 months ago
2009
Springer
We study some basic morphological operators acting on the lattice of all subgraphs of a (non-weighted) graph G. To this end, we consider two dual adjunctions between the edge set a...