MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Complete Algorithms." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4,463 documents found, showing 1 through 10. Next 10 →

ATOM

Differential Elimination-Completion Algorithms for DAE and PDAE
by Gregory J. Reid, Ping Lin, Allan D. Wittkopf — 1995
…Differential Elimination-Completion Algorithms for dae and pdae Gregory J. Reid 1 Department…
Cited by 15 (9 self) – Add To MetaCart

A Sound and Complete Algorithm for Distributed Commerce Transactions
by Steven Ketchpel And, Steven P. Ketchpel, Hector Garcia-molina — 1999 — J. Distributed Computing
…A Sound and Complete Algorithm for Distributed Commerce Transactions Steven P. Ketchpel…
Add To MetaCart

A Complete Algorithm for Designing Passive Fences to Orient Parts
by Jeff Wiegley, Ken Goldberg, Mike Peshkin, Mike Brokowski — 1996
… algorithm to design such sequences for a given convex polygonal part. The algorithm is complete in the sense…
Cited by 70 (12 self) – Add To MetaCart

Bin-Completion Algorithms for Multicontainer Packing and Covering Problems
by Alex S. Fukunaga, Richard E. Korf — 2005
…Bin-Completion Algorithms for Multicontainer Packing and Covering Problems Abstract Bin-completion…
Cited by 2 (0 self) – Add To MetaCart

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
by Alex Borgida, Peter F. Patel-Schneider — 1994 — Journal of Artificial Intelligence Research
… Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Alex Borgida borgida…
Cited by 150 (15 self) – Add To MetaCart

Path Coordination for Multiple Mobile Robots: a resolution complete algorithm
by Thierry Siméon, Stephane Leroy, Jean-paul Laumond, All The
…1 Path Coordination for Multiple Mobile Robots: a resolution complete algorithm Thierry Sim…
Cited by 31 (0 self) – Add To MetaCart

A Practical and Complete Algorithm for Testing Real-Time Systems
by Rachel Cardell-oliver, Tim Glover — 1998 — In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486
…A Practical and Complete Algorithm for Testing Real-Time Systems Rachel Cardell-Oliver and Tim…
Cited by 23 (3 self) – Add To MetaCart

A complete algorithm for designing planar fixtures using modular components
by Y C. Brost — 1996 — IEEE Transactions on Robotics and Automation
…IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, VOL. 12, NO. 1, FEBRUARY 1996 A Complete Algorithm…
Cited by 20 (5 self) – Add To MetaCart

Complete Algorithms for Feeding Polyhedral Parts using Pivot Grasps
by Anil Rao, David Kriegman, Ken Goldberg — 1995
…Complete Algorithms for Feeding Polyhedral Parts using Pivot Grasps Anil Rao Utrecht University…
Cited by 18 (6 self) – Add To MetaCart

Network Correlated Data Gathering with Explicit Communication: NP-Completeness and Algorithms
by Razvan Cristescu, Baltasar Beferull-lozano, Martin Vetterli, Roger Wattenhofer
…Network Correlated Data Gathering with Explicit Communication: NP-Completeness and Algorithms…
Cited by 14 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB