5465 search results - page 240 / 1093 » Assigning Types to Processes |
126
click to vote
ORDER
2007
15 years 3 months ago
2007
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
135
click to vote
SSD
2001
Springer
15 years 8 months ago
2001
Springer
In dynamic spatio-temporal environments where objects may continuously move in space, maintaining consistent information about the location of objects and processing motion-speciļ¬...
116
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
An interactive algorithm for soft segmentation and matting of natural images and videos is presented in this paper. The technique follows and extends [10], where the user first ro...
141
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper shows that software pipelining can be an effective technique for code generation for coarse-grained reconfigurable instruction set processors. The paper describes a tec...
120
click to vote
ICCAD
2008
IEEE
16 years 22 days ago
2008
IEEE
In double patterning lithography (DPL) layout decomposition for 45nm and below process nodes, two features must be assigned opposite colors (corresponding to diļ¬erent exposures)...