10182 search results - page 1693 / 2037 » Case Studies |
159
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
194
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We study the combinatorial auction (CA) problem, in which m objects are sold to rational agents and the goal is to maximize social welfare. Of particular interest is the special ca...
192
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper investigates the applicability of high-level semantic features for video retrieval using the benchmarked data from TRECVID 2003 and 2004, addressing the contri...
174
click to vote
CSCLP
2005
Springer
15 years 8 months ago
2005
Springer
“Heuristic synergy” refers to improvements in search performance when the decisions made by two or more heuristics are combined. This paper considers combinations based on prod...
185
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...