2286 search results - page 248 / 458 » Algorithms for Categorical Equivalence |
214
click to vote
GRC
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...
151
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
On-line routing strategies for communication in a dynamic network on chip (DyNoC) environment are presented. The DyNoC has been presented as a medium supporting communication amon...
139
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
This paper considers integer sorting on a RAM. We show that adaptive sorting of a sequence with qn inversions is asymptotically equivalent to multisorting groups of at most q keys...
194
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
207
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPRpairs). Some lower boun...