2905 search results - page 349 / 581 » Formal Memetic Algorithms |
126
click to vote
FOCM
2011
14 years 7 months ago
2011
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
173
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
256
click to vote
ASUNAM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Users querying massive social networks or RDF databases are often not 100% certain about what they are looking for due to the complexity of the query or heterogeneity of the dat...
181
click to vote
ICDCSW
2011
IEEE
14 years 3 months ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
157
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...