2137 search results - page 358 / 428 » Approximation Algorithms for Some Graph Partitioning Problem... |
140
click to vote
ICDCS
1996
IEEE
15 years 9 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...
136
Voted
SYNASC
2006
IEEE
15 years 10 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...
149
click to vote
DAC
1999
ACM
16 years 5 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...
135
click to vote
CASC
2007
Springer
15 years 11 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...
148
click to vote
3DPVT
2006
IEEE
15 years 10 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...