4328 search results - page 125 / 866 » A New Kind of Science |
213
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
176
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this work, two new techniques for non-linear feature extraction are presented. In these techniques, new features are obtained as radial projections of the original measurements...
141
click to vote
DGCI
2009
Springer
16 years 23 days ago
2009
Springer
In this report, we propose a new definition of the E2 DT (Squared Euclidean Distance Transformation) on irregular isothetic grids. We describe a new separable algorithm to compute...
261
click to vote
AH
2008
Springer
16 years 17 days ago
2008
Springer
As new interactive systems evolve, they frequently hit a sweet spot: A few new tricks to learn, and users gets tremendous benefits, simplifying their lives. But beyond that lies t...
150
click to vote
ESOP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...