17967 search results - page 29 / 3594 » Functional timing optimization |
ECCC
2010
14 years 10 months ago
2010
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
QUESTA
2002
14 years 10 months ago
2002
We consider an M/G/1 queue with a removable server. When a customer arrives, the workload becomes known. The cost structure consists of switching costs, running costs, and holding ...
DCC
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we present a family of new algorithms for rate-fidelity optimal packetization of scalable source bit streams with uneven error protection. In the most general settin...
ICDAR
2011
IEEE
13 years 10 months ago
2011
IEEE
—This paper describes effective object function design for combining on-line and off-line character recognizers for on-line handwritten Japanese text recognition. We combine on-l...
ANSS
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...