5847 search results - page 822 / 1170 » Visualization of Knowledge Structures |
147
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
111
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
An -appro ximate quantile summary of a sequence of N elements is a data structure that can answer quantile queries about the sequence to within a precision of N. We presen t a new...
132
click to vote
BCI
2009
IEEE
15 years 10 months ago
2009
IEEE
—Efficient management of massive data sets is a key aspect in typical grid and e-science applications. To this end, the benefits of employing database technologies in such appl...
167
click to vote
CRV
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
129
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
Hidden Markov Models (HMM) are probabilistic graphical models for interdependent classification. In this paper we experiment with different ways of combining the components of an ...