Sciweavers

363 search results - page 59 / 73
» Partial Multicuts in Trees
Sort
View
SODA
2010
ACM
202views Algorithms» more  SODA 2010»
14 years 7 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
WEA
2009
Springer
139views Algorithms» more  WEA 2009»
14 years 4 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»
14 years 4 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»
14 years 4 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
14 years 4 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, ...