10271 search results - page 387 / 2055 » Computer Science |
104
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
130
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
In holographic algorithms, symmetric signatures have been particularly useful. We give a complete characterization of these symmet
114
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We investigate variants of Lloyd’s heuristic for clustering high dimensional data in an attempt to explain its popular
137
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
132
click to vote
GI
2005
Springer
15 years 10 months ago
2005
Springer
: A new approach of tracking and classification of space objects with sequential Monte Carlo methods and numerical integration techniques is given.