2308 search results - page 292 / 462 » Representing Symbolic Reasoning |
169
click to vote
AVSS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...
175
click to vote
EEE
2005
IEEE
16 years 2 days ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
149
click to vote
ENC
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
154
click to vote
SIBGRAPI
2005
IEEE
16 years 1 days ago
2005
IEEE
We present tensor scale descriptor (TSD)— a shape descriptor for content-based image retrieval, registration, and analysis. TSD exploits the notion of local structure thickness,...
150
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...