2286 search results - page 374 / 458 » Algorithms for Categorical Equivalence |
178
click to vote
SIGIR
2005
ACM
16 years 1 hour ago
2005
ACM
State-of-the-art question answering (QA) systems employ termdensity ranking to retrieve answer passages. Such methods often retrieve incorrect passages as relationships among ques...
182
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
158
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
206
click to vote
CPM
2005
Springer
15 years 12 months ago
2005
Springer
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
189
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...