1165 search results - page 50 / 233 » Effective linear programming based placement methods |
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Digital microfluidic biochips have emerged as a popular alternative for laboratory experiments. To make the biochip feasible for practical applications, pin-count reduction is a k...
AUTOMATICA
2005
13 years 8 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
ICDAR
2005
IEEE
2005
IEEE
A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming
14 years 2 months ago
In this paper, an online handwritten Chinese character segmentation method is proposed. It is based on a dynamic programming algorithm, which uses geometrical features extracted f...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...