4328 search results - page 352 / 866 » A New Kind of Science |
184
click to vote
DIS
2007
Springer
16 years 1 months 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...
230
click to vote
ICALP
2007
Springer
16 years 1 months 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...
183
click to vote
ICALP
2007
Springer
16 years 1 months 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...
223
click to vote
BROADNETS
2006
IEEE
16 years 1 months ago
2006
IEEE
— The use of a manageable optical network is an important requirement for the new advanced data-intensive grid applications that begin to emerge on the e-Science field. In this ...
179
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...