2203 search results - page 256 / 441 » Knowledge Integration |
121
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
144
Voted
CADE
2007
Springer
16 years 3 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...
117
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
130
Voted
AVSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a novel unsupervised inter-camera trajectory correspondence algorithm that does not require prior knowledge of the camera placement. The approach consists of three step...
125
Voted
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 ...