2694 search results - page 171 / 539 » Frege's New Science |
177
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
144
click to vote
CSR
2007
Springer
16 years 22 days ago
2007
Springer
We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. ...
164
click to vote
DIS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
215
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
165
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...