1127 search results - page 46 / 226 » Theory Extension in ACL2(r) |
100
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Vertical standards are complex networked technologies whose assimilation is subject to extensive interorganizational dependence and network effects. Classical theories of diffusio...
100
click to vote
APN
2007
Springer
15 years 7 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
113
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
It is shown in this paper that direct extensions of distributed greedy Interference Avoidance (IA) techniques for networks with centralized receivers to networks with multiple unc...
93
Voted
AWIC
2005
Springer
15 years 6 months ago
2005
Springer
Query expansion has been extensively studied as a technique for increasing information retrieval performance. However, due to the volume of documents available on the web, many of ...