3068 search results - page 261 / 614 » Separation Results on the |
178
click to vote
ERSA
2006
15 years 8 months ago
2006
In this case study, various ways to partition a code between the microprocessor and FPGA are examined. Discrete image convolution operation with separable kernel is used as the ca...
148
click to vote
WSC
1998
15 years 8 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
160
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
An important application for microphone arrays is to extract highquality output from a single wideband source in multi-source and adverse environments. Methods based on blind-sour...
173
click to vote
MP
2006
15 years 6 months ago
2006
Mixed integer programming (MIP) formulations are typically tightened through the use of a separation algorithm and the addition of violated cuts. Using extended formulations involv...
176
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...