8437 search results - page 619 / 1688 » Preferences over Sets |
194
Voted
AIIA
2005
Springer
16 years 24 days ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
184
click to vote
CP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
182
click to vote
EVOW
2005
Springer
16 years 23 days ago
2005
Springer
A hyperheuristic is a high level procedure which searches over a space of low level heuristics rather than directly over the space of problem solutions. The sequence of low level h...
193
click to vote
LICS
2003
IEEE
16 years 15 days ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
199
Voted
DEXA
2003
Springer
16 years 14 days ago
2003
Springer
XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication...