3527 search results - page 436 / 706 » Test Automation in Practice |
132
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...
115
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Graphs are canonical examples of high-dimensional non-Euclidean data sets, and are emerging as a common data structure in many fields. While there are many algorithms to analyze ...
125
Voted
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
—Evaluating the performance of a classification algorithm critically requires a measure of the degree to which unseen examples have been identified with their correct class lab...
126
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
132
Voted
IJCIA
2008
15 years 4 months ago
2008
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...