1456 search results - page 221 / 292 » Two Techniques to Improve Finite Model Search |
ISCAPDCS
2004
13 years 9 months ago
2004
Internet today, has transformed into a global information hub. The increase in its usage and magnitude have sparkled various research problems. Because of the diverse user populat...
CLEF
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the ImageCLEF Photographic Retrieval task of ImageCLEF 2007. For this campaign, the main purpose of our ex...
VRML
1998
ACM
14 years 3 days ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
APPROX
2005
Springer
14 years 1 months ago
2005
Springer
Traditionally, a fundamental assumption in evaluating the performance of algorithms for sorting and selection has been that comparing any two elements costs one unit (of time, work...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
A major research challenge in multi-agent systems is the problem of partitioning a set of agents into mutually disjoint coalitions, such that the overall performance of the system...