2137 search results - page 358 / 428 » Approximation Algorithms for Some Graph Partitioning Problem... |
119
click to vote
ICDCS
1996
IEEE
15 years 6 months ago
1996
IEEE
In a distributed environment where nodes are independently motivated, many transactions or commercial exchanges may be stymied due to a lack of trust between the participants. The...
114
click to vote
SYNASC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
131
Voted
DAC
1999
ACM
16 years 3 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
119
Voted
CASC
2007
Springer
15 years 8 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
122
Voted
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the problem of camera selfcalibration, bundle adjustment and 3D reconstruction from line segments in two images of poorly-textured indoor scenes. First, we ge...