Sciweavers

5210 search results - page 216 / 1042
» Exact geometric computation
Sort
View
ICML
2000
IEEE
16 years 7 months ago
Duality and Geometry in SVM Classifiers
We develop an intuitive geometric interpretation of the standard support vector machine (SVM) for classification of both linearly separable and inseparable data and provide a rigo...
Kristin P. Bennett, Erin J. Bredensteiner
175
Voted
IROS
2006
IEEE
147views Robotics» more  IROS 2006»
16 years 4 days ago
Opportunistic Use of Vision to Push Back the Path-Planning Horizon
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...
Bart C. Nabbe, Derek Hoiem, Alexei A. Efros, Marti...
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 11 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
170
Voted
ACL
2009
15 years 4 months ago
Toward Smaller, Faster, and Better Hierarchical Phrase-based SMT
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
Mei Yang, Jing Zheng
GCC
2003
Springer
15 years 11 months ago
Research and Application of Distributed Fusion System Based on Grid Computing
Grid computing is used to realize the connection of distributed, heterogeneous computing resources through grid, assist in accomplishing computing task. Focusing on the weakness of...
Yu Su, Hai Zhao, Wei-ji Su, Gang Wang, Xiao-dan Zh...