Sciweavers

4074 search results - page 162 / 815
» Defining Computational Aesthetics
Sort
View
ICCS
2005
Springer
14 years 3 months ago
A Model of Virus Spreading Using Cell-DEVS
Cell-DEVS is a combination of CA with the DEVS formalism that allows the definition of cellular models. CD++ is a modeling and simulation tool that implements DEVS and Cell-DEVS. W...
Hui Shang, Gabriel A. Wainer
FOSSACS
2003
Springer
14 years 3 months ago
Manipulating Trees with Hidden Labels
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
Luca Cardelli, Philippa Gardner, Giorgio Ghelli
ISSAC
2001
Springer
141views Mathematics» more  ISSAC 2001»
14 years 2 months ago
On the Barnes function
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
Victor Adamchik
VLDB
1990
ACM
111views Database» more  VLDB 1990»
14 years 2 months ago
On Restructuring Nested Relations in Partitioned Normal Form
Relations in partitioned normal form are an important subclass of nested relations. This paper is concerned with the problem of restructuring relations in partitioned normal form ...
Guy Hulin
EUROCRYPT
2000
Springer
14 years 2 months ago
An Algorithm for Solving the Discrete Log Problem on Hyperelliptic Curves
We present an index-calculus algorithm for the computation of discrete logarithms in the Jacobian of hyperelliptic curves defined over finite fields. The complexity predicts that i...
Pierrick Gaudry