4114 search results - page 584 / 823 » Efficient Algorithms for the 2-Center Problems |
148
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
Variability of process parameters makes prediction of digital circuit timing characteristics an important and challenging problem in modern chip design. Recently, statistical stat...
178
click to vote
DMS
2008
15 years 7 months ago
2008
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
145
click to vote
WSC
2004
15 years 7 months ago
2004
Simulation plays a vital role in identifying the best system design from among a set of competing designs. To improve simulation efficiency, ranking and selection techniques are o...
147
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
d Abstract) Thibault Kruse, Alexandra Kirsch, E. Akin Sisbot, Rachid Alami A robot moving in the presence of humans is highly constrained by the dynamic environment and the need t...
179
click to vote
C3S2E
2010
ACM
15 years 6 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...