4103 search results - page 517 / 821 » Some results on the Collatz problem |
159
click to vote
FROCOS
2007
Springer
16 years 23 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
164
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
Artificial immune systems have previously been applied to the problem of intrusion detection. The aim of this research is to develop an intrusion detection system based on the fu...
223
click to vote
HPCC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
164
click to vote
E2EMON
2006
IEEE
16 years 20 days ago
2006
IEEE
— In high-speed networks, such as 1-Gbps or higher networks, bandwidth measurement algorithms that utilize packet transmission/arrival intervals, such as packet trains and packet...
165
click to vote
FOCS
2006
IEEE
16 years 20 days ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...