3161 search results - page 59 / 633 » Hybrid results merging |
137
click to vote
AIML
2006
15 years 3 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
106
click to vote
SUM
2007
Springer
15 years 8 months ago
2007
Springer
In medical clinical trials, overall trial results are highlighted in the s of papers/reports. These results are summaries of underlying statistical analysis where most of the time ...
113
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
114
click to vote
JAPLL
2006
15 years 1 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
107
click to vote
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
Metasearch engines submit the user query to several underlying search engines and then merge their retrieved results to generate a single list that is more effective to the users&...