Sciweavers

363 search results - page 59 / 73
» Partial Multicuts in Trees
Sort
View
129
Voted
SODA
2010
ACM
202views Algorithms» more  SODA 2010»
15 years 11 months ago
Counting Inversions, Offline Orthogonal Range Counting, and Related Problems
We give an O(n lg n)-time algorithm for counting the number of inversions in a permutation on n elements. This improves a long-standing previous bound of O(n lg n/ lg lg n) that ...
Timothy M. Chan, Mihai Patrascu
93
Voted
WEA
2009
Springer
139views Algorithms» more  WEA 2009»
15 years 8 months ago
Fast Algorithm for Graph Isomorphism Testing
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using...
José Luis López-Presa, Antonio Fern&...
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
15 years 8 months ago
Inverse kinematics with closed form solutions for highly redundant robotic systems
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...
Rainer Konietschke, Gerd Hirzinger
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 8 months ago
Greedy but Safe Replanning under Kinodynamic Constraints
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...
Kostas E. Bekris, Lydia E. Kavraki
FMCAD
2007
Springer
15 years 8 months ago
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, ...