1828 search results - page 205 / 366 » First-Class Type Classes |
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...
162
click to vote
ESORICS
2007
Springer
16 years 17 days 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...
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...
157
click to vote
CONIELECOMP
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a wavelet neural-network for learning and approximation of chaotic time series. Wavelet-networks are inspired by both feed-forward neural networks and the theo...