Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Deborah A. Joseph

dblp:77/8312 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1985
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Computational geometry · 50% Automated reasoning and model checking · 25% Computational complexity · 25%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Computational geometry
motion planning
0.011985
On the complexity of reachability and motion planning questions (extended abstract) · SCG 1985
Computational geometry › motion planning
motion planning complexity
0.011985
On the complexity of reachability and motion planning questions (extended abstract) · SCG 1985
Computational complexity › complexity classes › PSPACE
PSPACE-completeness
0.011985
On the complexity of reachability and motion planning questions (extended abstract) · SCG 1985
Automated reasoning and model checking
reachability
0.011985
On the complexity of reachability and motion planning questions (extended abstract) · SCG 1985

Methods — techniques the papers use, named apart from their topics

complexity reduction · 0.0
YearPublicationVenuePosition
1985 On the complexity of reachability and motion planning questions (extended abstract)
abstract
In this paper we consider from a theoretical viewpoint the complexity of some reachability and motion planning questions. Specifically, we are interested in determining which generalizations of the basic mover's problem result in computationally intractable problems. It has been shown that for any set of motion-planning problems with bounded degree of freedom, there is a polynomial-time algorithm to solve the motion-planning problem (although the degree of the polynomial may be large), but the two most basic generalizations to the problem, multiple movable obstacles and conformable objects, result in much harder problems. It has been shown that the warehouseman's problem is P-space hard: in this paper we show that the reachability problem for one of the simplest types of conformable objects, a two-dimensional linear (“robot arm”) linkage, is P-space complete. In addition, we demonstrate some motion-planning problems that take exponential time.
Deborah A. Joseph, W. Harry Plantinga
SCG1