1914 search results - page 297 / 383 » Evaluation of a Catalytic Search Algorithm |
138
Voted
ENTCS
2008
15 years 3 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
125
Voted
AAMAS
2005
Springer
15 years 3 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
116
Voted
TON
1998
15 years 3 months ago
1998
Abstract—In this paper we consider routing and wavelength assignment in wavelength-routed all-optical networks with circuitswitching. The conventional approaches to address this ...
147
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
A taxonomy organizes concepts or topics in a hierarchical structure and can be created manually or via automated systems. A major drawback of taxonomies is that they require users...
146
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Community Question Answering (CQA) has emerged as a popular forum for users to pose questions for other users to answer. Over the last few years, CQA portals such as Naver and Yah...