A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Filters
Exploring Complicated Search Spaces with Interleaving-Free Sampling
[article]
2021
arXiv
pre-print
In this paper, we build the search algorithm upon a complicated search space with long-distance connections, and show that existing weight-sharing search algorithms mostly fail due to the existence of ...
We argue that such designs, though safe and stable, obstacles the search algorithms from exploring more complicated scenarios. ...
Exploring Complicated Search Spaces with Interleaving-Free Sampling
Yunjie Tian1 , Lingxi ...
arXiv:2112.02488v1
fatcat:impwnx22snah3czqhqfbz6cvgu
Heuristics for model checking Java programs
2004
International Journal on Software Tools for Technology Transfer (STTT)
In this paper we present an array of heuristic model checking techniques for combating the state space explosion when searching for errors. ...
Some techniques for dealing with the most crucial problem in model checking, the state space explosion problem, concentrate on the first of these goals. ...
fewest nondeterministic choice statements enabled, i.e. allowing the choose-free state space to be searched first but continuing to the rest of the state space otherwise (this also allows choose-free ...
doi:10.1007/s10009-003-0130-9
fatcat:azqzw44fezg6lfcee3zow4rr4e
A Survey on Create a Structured Building Models from Silhouette Buildings
2021
International Journal for Research in Applied Science and Engineering Technology
Finally update the free-space points. Add new free-space points. Then, at that point, eliminate the free-space point that cover with the recently blended components. ...
If any of the elements in the exemplar neighborhood overlap with a free-space point, then copy the elements to the output. ...
doi:10.22214/ijraset.2021.35193
fatcat:pgjgf5jvrzhjhjurmvvdeymzne
Evaluating aggregated search using interleaving
2013
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13
A result page of a modern web search engine is often much more complicated than a simple list of "ten blue links." ...
All this makes our proposed interleaving algorithm an essential tool for comparing IR systems with complex aggregated pages. ...
Accuracy is as high as under TDI, with only small losses in efficiency for small sample sizes. ...
doi:10.1145/2505515.2505698
dblp:conf/cikm/ChuklinSHSR13
fatcat:xpd5elvxvncllcygw7v67xwmwy
Task space motion planning using reactive control
2010
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems
We combine classical sampling-based random tree planning with a reactive controller connecting sampling points with nontrivial trajectories, utilizing redundant DOFs to locally avoid obstacles. ...
Additionally, planning is done in a low-dimensional task space instead of the high-dimensional joint space. ...
ACKNOWLEDGMENTS Matthias Behnisch gratefully acknowledges the financial support from Honda Research Institute Europe for the project "Sampling-based planning for goal directed robot control". ...
doi:10.1109/iros.2010.5651285
dblp:conf/iros/BehnischHG10
fatcat:3svjqhzmdrcyhiaewphnisskya
Adaptive retrospective correction of motion artifacts in cranial MRI with multicoil three-dimensional radial acquisitions
2012
Magnetic Resonance in Medicine
Despite reduction in imaging times through improved hardware and rapid acquisition schemes, motion artifacts can compromise image quality in magnetic resonance imaging, especially in 3D imaging with its ...
Direct extension of most state-of-the-art 2D rigid body motion compensation techniques to the 3D case is often challenging or impractical due to a significant increase in sampling requirements. ...
However, a straightforward extension of PROPELLER to 3D for full rigid body motion correction is significantly complicated by a large increase in data sampling requirements. ...
doi:10.1002/mrm.24348
pmid:22760728
pmcid:PMC4226397
fatcat:obbmzzfqr5a27ocbrdzzwzdo34
Multiparameter Persistence Landscapes
[article]
2018
arXiv
pre-print
We show that multiparameter landscapes are stable with respect to the interleaving distance and persistence weighted Wasserstein distance, and that the collection of multiparameter landscapes faithfully ...
An important problem in the field of Topological Data Analysis is defining topological summaries which can be combined with traditional data analytic tools. ...
The author wishes to thank his supervisor Ulrike Tillmann for her guidance and support with this project, and Peter Bubenik for helpful suggestions. ...
arXiv:1812.09935v1
fatcat:ulkicrcv75hqvoaefgbmwqkzt4
Boundary-RRT* Algorithm for Drone Collision Avoidance and Interleaved Path Re-planning
2020
Journal of Information Processing Systems
Therefore, it can create a path with a natural curvature without defining a bias function. Furthermore, the exploring space is reduced to a half-torus by combining it with simple right-of-way rules. ...
Various modified algorithms of rapidly-exploring random tree (RRT) have been previously proposed. ...
The proposed boundary-RRT* algorithm can reduce the number of sampling nodes by bounding the exploration space. ...
doi:10.3745/jips.04.0196
dblp:journals/jips/ParkC20
fatcat:pdunhfzx7zd3hjnfw7nu3dyqzi
AM-RRT*: Informed Sampling-based Planning with Assisting Metric
[article]
2021
arXiv
pre-print
Our method extends RRT-based sampling methods to enable the use of an assisting distance metric to improve performance in environments with obstacles. ...
Sampling-based approaches often perform poorly in environments with narrow passages, a feature common to many indoor applications of mobile robots as well as computer games. ...
They incrementally construct a tree representation of the environment by sampling points in the free space and connecting them along collision-free edges to a nearby node in the tree. ...
arXiv:2010.14693v2
fatcat:5yszb7gdrbdj3iphqr4bm6n5hy
Enhancing Dexterity in Robotic Manipulation via Hierarchical Contact Exploration
[article]
2023
arXiv
pre-print
First, it allows efficient global reasoning over high-dimensional complex space created by contacts. ...
This framework explores in-hand and extrinsic dexterity by leveraging contacts. It generates rigid-body motions and complex contact sequences. ...
For an object free to move in the 3D space, 𝑑 = 6. ...
arXiv:2307.00383v2
fatcat:f5ugt7wjobflldeykmaeaqezba
Scalable Parallel Algorithms for FPT Problems
2006
Algorithmica
The importance of maintaining a balanced decomposition of the search space is shown to be critical to achieving scalability. Target problems need only be amenable to reduction and decomposition. ...
Algorithmic methods based on the theory of fixed-parameter tractability are combined with powerful computational platforms to launch systematic attacks on combinatorial problems of significance. ...
Acknowledgments We are grateful to Mike Fellows and Fran Rosamond for their collaboration and encouragement, to Bill Cook for providing us with the streamlined linear programming routines we employed in ...
doi:10.1007/s00453-006-1214-1
fatcat:vzmvskuvtba6veze7o7ekbntii
Toward interactive search in remote sensing imagery
2010
Cyber Security, Situation Management, and Impact Assessment II; and Visual Analytics for Homeland Defense and Security II
We conclude by describing an application in broad-area search of remote sensing imagery. ...
We describe a new design criteria for this problem, and present comparisons to existing techniques with both synthetic and real-world datasets . ...
Both Interleave and HighPass methods require the selection of free parameters. ...
doi:10.1117/12.850787
fatcat:gdbtc5fhiffjldoqa5ejdfyaju
Multiple-coil k -space interpolation enhances resolution in single-shot spatiotemporal MRI
2017
Magnetic Resonance in Medicine
Methods: By casting SPEN's spatial rasterization in k-space, it becomes evident that local k-data interpolations enabled by multiple receivers are akin to real-space interleaving of SPEN images. ...
Purpose: Spatio-temporal encoding (SPEN) experiments can deliver single-scan MR images without folding complications and with robustness to chemical shift and susceptibility artifacts. ...
The direct-space sampling nature of SPEN, however, implies that despite its low-bandwidth undersampling, all its pre-processed images are free from folding effects. ...
doi:10.1002/mrm.26731
pmid:28556180
fatcat:fovtr4vmwjetbcspt47tu3zsey
Interleaving planning and control for efficient haptically-guided reaching in unknown environments
2014
2014 IEEE-RAS International Conference on Humanoid Robots
HIPC runs two planning methods, interleaving a task-space and a joint-space planner, to provide fast reaching performance. ...
In this paper, we propose a haptically-guided interleaving planning and control (HIPC) method with a haptic mapping framework. ...
CONCLUSION We have introduced our haptically-guided interleaving planning and control framework (HIPC), which interleaves a task-space planner and controller with a joint-space planner and controller that ...
doi:10.1109/humanoids.2014.7041456
dblp:conf/humanoids/ParkKHK14
fatcat:x56i5nm75bhvnnxvtv4ajotobe
Non-Trivial Query Sampling For Efficient Learning To Plan
[article]
2023
arXiv
pre-print
Conventionally, a uniform random strategy is used for sampling these queries. ...
This work proposes a "non-trivial" query sampling procedure to add more complex paths in the dataset. ...
Path Planning Problem Let X ⊂ R d denote the search-space for the planning problem with dimension d ≥ 2. Let X obs ⊂ X denote the obstacle space and X free = X \ X obs denote the free space. ...
arXiv:2303.06737v1
fatcat:wlfyckuhsfaatptj4qhaawtbd4
« Previous
Showing results 1 — 15 out of 6,656 results