2181 search results - page 186 / 437 » The restriction scaffold problem |
140
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
131
click to vote
WOWMOM
2009
ACM
15 years 11 months ago
2009
ACM
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...
158
Voted
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
118
Voted
VR
2008
IEEE
15 years 11 months ago
2008
IEEE
The destructive capacity of wildfires and the dangers and limitations associated with observing actual wildfires has led researchers to develop mathematical models in order to b...
119
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—The full-complexity soft-input/soft-output (SISO) multiuser detector based on the a posteriori probability (APP) algorithm has a computational complexity growing exponentially w...