1127 search results - page 121 / 226 » Theory Extension in ACL2(r) |
164
click to vote
ATMOS
2010
15 years 4 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
198
click to vote
ICMLA
2010
15 years 4 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
177
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...
184
click to vote
PRICAI
2010
Springer
15 years 4 months ago
2010
Springer
Unlike traditional classification tasks, multilabel classification allows a sample to associate with more than one label. This generalization naturally arises the difficulty in cla...
178
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We introduce a new solution concept for games, near-strong equilibrium, a variation of strong equilibrium. Previous work has shown the existence of 2-strong pure strategy equilibr...