4103 search results - page 554 / 821 » Some results on the Collatz problem |
178
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
Locked tree linkages have been known to exist in the plane since 1998, but it is still open whether they have a polynomial-time characterization. This paper examines the properties...
139
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Scientists often search for document-elements like tables, figures, or algorithm pseudo-codes. Domain scientists and researchers report important data, results and algorithms usi...
164
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
177
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
As an immune inspired algorithm, the Dendritic Cell Algorithm (DCA) has been applied to a range of problems, particularly in the area of intrusion detection. Ideally, the intrusio...
165
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...