13306 search results - page 272 / 2662 » Theoretical Computer Science |
129
click to vote
STACS
2007
Springer
16 years 22 days 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
139
click to vote
FOCS
2006
IEEE
16 years 21 days ago
2006
IEEE
We investigate variants of Lloyd’s heuristic for clustering high dimensional data in an attempt to explain its popular
166
click to vote
GI
2005
Springer
16 years 4 days ago
2005
Springer
: A new approach of tracking and classification of space objects with sequential Monte Carlo methods and numerical integration techniques is given.