Sciweavers

4131 search results - page 187 / 827
» The Generalized Max-Controlled Set Problem
Sort
View
118
Voted
ICML
2007
IEEE
16 years 4 months ago
Multiclass core vector machine
Even though several techniques have been proposed in the literature for achieving multiclass classification using Support Vector Machine(SVM), the scalability aspect of these appr...
S. Asharaf, M. Narasimha Murty, Shirish Krishnaj S...
104
Voted
ISAAC
2005
Springer
100views Algorithms» more  ISAAC 2005»
15 years 9 months ago
Separability with Outliers
We develop exact and approximate algorithms for computing optimal separators and measuring the extent to which two point sets in d-dimensional space are separated, with respect to...
Sariel Har-Peled, Vladlen Koltun
ICALP
2010
Springer
15 years 8 months ago
Reachability Games on Extended Vector Addition Systems with States
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
Tomás Brázdil, Petr Jancar, Anton&ia...
117
Voted
ECAI
2010
Springer
15 years 4 months ago
Verifying Properties of Infinite Sequences of Description Logic Actions
The verification problem for action logic programs with non-terminating behaviour is in general undecidable. In this paper, we consider a restricted setting in which the problem be...
Franz Baader, Hongkai Liu, Anees ul Mehdi
116
Voted
SAC
2008
ACM
15 years 3 months ago
Trajectory retrieval with latent semantic analysis
The problem of trajectory similarity has been recently attracted research interest considerably, due to its importance in diverse fields. In this work, we study trajectory similar...
Apostolos N. Papadopoulos