2286 search results - page 439 / 458 » Algorithms for Categorical Equivalence |
180
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
157
click to vote
GLOBECOM
2007
IEEE
16 years 15 days ago
2007
IEEE
— A relay selection approach has previously been shown to outperform repetition-based scheduling for both amplify-and-forward (AF) and decode-and-forward (DF) cooperative network...
188
click to vote
ICPP
2007
IEEE
16 years 14 days ago
2007
IEEE
Three-dimensional Network-on-Chip (3-D NoC) is an emerging research topic exploring the network architecture of 3-D ICs that stack several smaller wafers for reducing wire length ...
169
click to vote
CLEF
2007
Springer
16 years 10 days ago
2007
Springer
This paper describes our first participation in the Indian language sub-task of the main Adhoc monolingual and bilingual track in CLEF1 competition. In this track, the task is to...
160
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...