696 search results - page 94 / 140 » Explaining abstract counterexamples |
122
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
113
click to vote
CEEMAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
140
click to vote
CLEF
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The purpose of this paper is to outline efforts from the 2005 CLEF crosslanguage image retrieval campaign (ImageCLEF). The aim of this CLEF track is to explore the use o...
121
click to vote
COLT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present several results related to ranking. We give a general margin-based bound for ranking based on the L∞ covering number of the hypothesis space. Our bound sugge...
112
click to vote
COMPLIFE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most software tools in homology recognition on proteins answer only a few specific questions, often leaving not much room for the interpretation of the results. We devel...