2335 search results - page 286 / 467 » Type Checking Type Classes |
98
Voted
ICON
2007
IEEE
15 years 7 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
122
Voted
ISBI
2007
IEEE
15 years 7 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 ...
107
Voted
TPHOL
2007
IEEE
15 years 7 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...
92
Voted
ESORICS
2007
Springer
15 years 7 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...
AVSS
2006
IEEE
15 years 6 months 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...