605 search results - page 37 / 121 » Normalizers and Split Extensions |
126
click to vote
PAMI
2007
14 years 10 months ago
2007
—This paper presents a novel method for 3D surface reconstruction that uses polarization and shading information from two views. The method relies on the polarization data acquir...
TWC
2010
14 years 5 months ago
2010
In this paper, we consider a special case of denial of service (DoS) attack in wireless mesh networks (WMNs) known as selective forwarding attack (a.k.a gray hole attacks). With su...
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
HLK
2003
IEEE
15 years 4 months ago
2003
IEEE
A method is presented for automatically extracting key frames from an image sequence. The sequence is divided into clusters of frames with similar appearance, and the most central...
CLIMA
2007
15 years 13 days ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...