10263 search results - page 1775 / 2053 » From Use Cases to System Operation Specifications |
175
click to vote
NIPS
2004
15 years 8 months ago
2004
In many applications, good ranking is a highly desirable performance for a classifier. The criterion commonly used to measure the ranking quality of a classification algorithm is ...
156
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Learning agents can improve performance cooperating with other agents, particularly learning agents forming a committee outperform individual agents. This "ensemble effect&qu...
173
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper we analyze the behavior of K non-cooperative schedu...
192
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
189
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...