4036 search results - page 667 / 808 » Formal Methods |
157
click to vote
IAT
2007
IEEE
16 years 22 days ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
158
click to vote
WIOPT
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
138
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
180
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the sequence comparison problem, also known as “hidden pattern” problem, where one searches for a given subsequence in a text (rather than a string unders...
181
click to vote
DICS
2006
15 years 10 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...