4328 search results - page 129 / 866 » A New Kind of Science |
137
click to vote
GI
2007
Springer
16 years 11 days ago
2007
Springer
: In this paper we explore trajectory clustering as a means for representing the normal behavior of vessels in a coastal surveillance scenario. Trajectory clustering however suffer...
155
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
184
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
156
Voted
FOCS
2003
IEEE
15 years 11 months ago
2003
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
166
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
: Link analysis is the most important application of web structure mining and serves as a new knowledge source in web information retrieval. However, the mono-dimensional analysis ...