2233 search results - page 283 / 447 » Modular type classes |
143
click to vote
ICCV
2007
IEEE
16 years 22 days ago
2007
IEEE
We address image parsing in the setting of architectural scenes. Our goal is to parse an image into regions of various types such as sky, foliage, buildings, and street. Furthermo...
157
click to vote
ICMCS
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we present a framework to analyze and summarize the temporal dynamics within personal blogs. Blog temporal dynamics are difficult to capture using a few class descr...
204
click to vote
ISBI
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
168
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
148
click to vote
AVSS
2006
IEEE
16 years 14 days ago
2006
IEEE
Video surveillance is a key technology for enhanced protection of facilities such as airports and power stations from various types of threat. Networks of thousands of IP-based ca...