1127 search results - page 46 / 226 » Theory Extension in ACL2(r) |
156
click to vote
CALCO
2009
Springer
16 years 21 days 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....
132
click to vote
HICSS
2007
IEEE
16 years 13 days ago
2007
IEEE
Vertical standards are complex networked technologies whose assimilation is subject to extensive interorganizational dependence and network effects. Classical theories of diffusio...
148
click to vote
APN
2007
Springer
16 years 9 days 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...
168
click to vote
GLOBECOM
2006
IEEE
16 years 5 days 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...
155
click to vote
AWIC
2005
Springer
15 years 11 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 ...