8828 search results - page 1566 / 1766 » Formal methods in practice |
168
click to vote
AAIM
2009
Springer
15 years 2 months ago
2009
Springer
In this paper we introduce a discrete version of the online traveling salesman problem (DOLTSP). We represent the metric space using a weighted graph, where the server is allowed t...
146
click to vote
DESRIST
2009
Springer
15 years 2 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
180
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then choos...
142
click to vote
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider the uplink of two mobile stations with the help of one common relay. Recently, joint network-channel coding based on LDPC codes was proposed for this setup where the ch...
125
click to vote
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
Collaborative spectrum sensing in cognitive radio networks has been proposed as an efficient way to improve the performance of primary users detection. In collaborative spectrum se...