2661 search results - page 472 / 533 » Model Checking Performability Properties |
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
—The language game approach is widely adopted to study conventionalization of linguistic knowledge. Most of contemporary models concentrate on the dynamics of language games in r...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
The desirable asymptotic optimality properties of the maximum likelihood (ML) estimator make it an attractive solution for performing independent component analysis (ICA) as well....
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—For sensor networks deployed to monitor and report real events, event source anonymity is an attractive and critical security property, which unfortunately is also very difficu...
DASFAA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Given that a negotiation outcome is determined to a large extent by the successive offers exchanged by negotiating agents, it is useful to analyze dynamic patterns of the bidding,...