3804 search results - page 303 / 761 » From Here to There |
175
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under veriï¬cation. DPR is a very general...
184
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
189
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we analyze the performance of two different routing protocols speciï¬cally designed for Wireless Sensor Networks (WSNs) for real-time estimation, control, and mo...
187
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...
183
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Signature quantization for reverse-link Direct Sequence (DS)- Code Division Multiple Access (CDMA) is considered. A receiver assumed to have perfect estimates of channel...