1940 search results - page 292 / 388 » Optimizing search engines using clickthrough data |
CPAIOR
2008
Springer
13 years 12 months ago
2008
Springer
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
JUCS
2006
13 years 10 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
NAR
2007
13 years 9 months ago
2007
Multi-Q Web Server provides an automated data analysis tool for multiplexed protein quantitation based on the iTRAQ labeling method. Multi-Q is designed as a generic platform that...
RR
2010
Springer
13 years 8 months ago
2010
Springer
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
ATMOS
2008
13 years 11 months ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...