Sciweavers

6939 search results - page 1035 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
ICFP
2003
ACM
16 years 4 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah
130
Voted
GLVLSI
2006
IEEE
124views VLSI» more  GLVLSI 2006»
15 years 11 months ago
Dominator-based partitioning for delay optimization
Most of the logic synthesis algorithms are not scalable for large networks and, for this reason, partitioning is often applied. However traditional mincut-based partitioning techn...
David Bañeres, Jordi Cortadella, Michael Ki...
SOCO
2005
Springer
15 years 10 months ago
Composition-Oriented Service Discovery
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
Antonio Brogi, Sara Corfini, Razvan Popescu
FSTTCS
2004
Springer
15 years 10 months ago
Testing Geometric Convexity
We consider the problem of determining whether a given set S in Rn is approximately convex, i.e., if there is a convex set K ∈ Rn such that the volume of their symmetric differe...
Luis Rademacher, Santosh Vempala
132
Voted
ICRA
2003
IEEE
110views Robotics» more  ICRA 2003»
15 years 10 months ago
Implementation of multi-rigid-body dynamics within a robotic grasping simulator
Robotic simulation systems allow researchers, engineers, and students to test control algorithms in a safe environment, but until recently these systems only simulated the dynamic...
Andrew T. Miller, Henrik I. Christensen
« Prev « First page 1035 / 1388 Last » Next »