3605 search results - page 388 / 721 » Associated types with class |
166
Voted
ICMCS
2007
IEEE
16 years 1 months 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...
217
click to vote
ISBI
2007
IEEE
16 years 1 months 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 ...
179
click to vote
TPHOL
2007
IEEE
16 years 1 months 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...
175
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
158
Voted
AVSS
2006
IEEE
16 years 27 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...