Sciweavers

505 search results - page 37 / 101
» Universal Constructions for Large Objects
Sort
View
RECOMB
2004
Springer
16 years 4 months ago
Aligning alignments exactly
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Dean Starrett
ICRA
2007
IEEE
148views Robotics» more  ICRA 2007»
15 years 10 months ago
Simple, Robust Autonomous Grasping in Unstructured Environments
—The inherent uncertainty associated with unstructured grasping tasks makes establishing a successful grasp difficult. Traditional approaches to this problem involve hands that a...
Aaron M. Dollar, Robert D. Howe
CSL
2009
Springer
15 years 11 months ago
Decidable Extensions of Church's Problem
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
Alexander Rabinovich
MFCS
2007
Springer
15 years 10 months ago
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...
Jaroslav Nesetril, Mark H. Siggers
TOIT
2002
66views more  TOIT 2002»
15 years 3 months ago
xlinkit: a consistency checking and smart link generation service
xlinkit is a lightweight application service that provides rule-based link generation and checks the consistency of distributed web content. It leverages standard Internet technol...
Christian Nentwich, Licia Capra, Wolfgang Emmerich...