5962 search results - page 113 / 1193 » Efficient Clustering for Orders |
137
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
The dynamic topological order problem is that of efficiently updating a topological order after some edge(s) are inserted into a graph. Much prior work exists on the unit-change v...
127
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
173
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
169
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
This work investigates the accuracy and efficiency tradeoffs between centralized and collective (distributed) algorithms for (i) sampling, and (ii) n-way data analysis techniques i...
156
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern trends in manufacturing demand more flexible and adaptive handling of production order execution. Due to its distributed nature, agent-based systems become a suitable solut...