4190 search results - page 388 / 838 » Type Class Directives |
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...
168
click to vote
ICON
2007
IEEE
16 years 1 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...
216
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 29 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...