4328 search results - page 215 / 866 » A New Kind of Science |
160
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a new approach designed to reduce the computational load of the existing clustering algorithms by trimming down the documents size using fingerprinting methods...
164
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Evaluating complex system is a complex task. Evaluation campaigns are organized each year to test different systems on global results, but they do not evaluate the relevance of th...
177
click to vote
Source Code
Built upon the Qt library, the QVision is an image processing and computer vision library. It offers a set of image processing and matrix, vector and tensor algebra functions, unde...
121
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Panko–Halverson Taxonomy of Spreadsheet Risks has been widely used since its creation in the 1990s. This paper revises that taxonomy. It introduces new ways to count cell er...
133
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...