298 search results - page 41 / 60 » Abstract Models of Transfinite Reductions |
INFOVIS
2003
IEEE
15 years 3 months ago
2003
IEEE
An algorithm is presented for the visualisation of multidimensional abstract data, building on a hybrid model introduced at InfoVis 2002. The most computationally complex stage of...
ESORICS
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. Modern document collections often contain groups of documents with overlapping or shared content. However, most information retrieval systems process each document separa...
ISVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Due to their ability to model sequential data without making unnecessary independence assumptions, conditional random fields (CRFs) have become an increasingly popular ...