2487 search results - page 317 / 498 » cases 2009 |
104
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
107
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
141
click to vote
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Ranking a number of retrieval systems according to their retrieval effectiveness without relying on costly relevance judgments was first explored by Soboroff et al [6]. Over th...
87
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
The problem of measuring similarity between web pages arises in many important Web applications, such as search engines and Web directories. In this paper, we propose a novel neig...