Search Sciweavers | Sciweavers

10568 search results - page 59 / 2114

» Computer Intelligence and Formalization

click to vote

MM
2006
ACM

127views Multimedia» more MM 2006»

The computational extraction of temporal formal structures in the interactive dance work '22'

15 years 3 months ago

Download ame2.asu.edu

In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...

Vidyarani M. Dyaberi, Hari Sundaram, Thanassis Rik...

claim paper

Read More »

click to vote

VIROLOGY
2008

84views more VIROLOGY 2008»

Formal affordance-based models of computer virus reproduction

14 years 9 months ago

Download www.csc.liv.ac.uk

We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...

Matt Webster, Grant Malcolm

claim paper

Read More »

116

click to vote

DSVIS
1998
Springer

210views Human Computer Interaction» more DSVIS 1998»

Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle

15 years 2 months ago

Download ftp.inrialpes.fr

Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...

Meurig Sage, Chris Johnson

claim paper

Read More »

click to vote

ICISC
2003

88views Cryptology» more ICISC 2003»

Sound Computational Interpretation of Formal Encryption with Composed Keys

14 years 11 months ago

Download www.ub.utwente.nl

Peeter Laud, Ricardo Corin

claim paper

Read More »