6456 search results - page 991 / 1292 » Constraint Solving on Terms |
184
click to vote
IJCNN
2007
IEEE
16 years 29 days ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
151
click to vote
IMSCCS
2007
IEEE
16 years 29 days ago
2007
IEEE
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
170
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
188
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
158
click to vote
VTC
2007
IEEE
16 years 28 days ago
2007
IEEE
The currently emerging 802.16e (WiMax) and 3GPP Long Term Evolution (LTE) cellular systems are based on Orthogonal Frequency Division Multiple Access (OFDMA). As OFDMA is basicall...