1679 search results - page 179 / 336 » Scatter Search - Wellsprings and Challenges |
175
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Open information spaces have several unique characteristics such as their changeability, large size, complexity and diverse user base. These result in novel challenges during user...
165
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
By far, the support vector machines (SVM) achieve the state-of-theart performance for the text classification (TC) tasks. Due to the complexity of the TC problems, it becomes a ch...
168
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
166
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
It is challenging to browse multimedia on mobile devices with small displays. We present MiniMedia Surfer, a prototype application for interactively searching a multimedia collect...
137
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...