1054 search results - page 67 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
124
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper describes an evolutionary music composition system that combines trainable music critics with a bag of notes constraint. Unlike many evolutionary composition systems,...
131
click to vote
DATAMINE
2000
15 years 3 months ago
2000
The goal of the CONTROL project at Berkeley is to develop systems for interactive analysis of large data sets. We focus on systems that provide users with iteratively refining answ...
130
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
161
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
170
click to vote
TOG
2002
15 years 3 months ago
2002
In this paper, we present a system for interactive computation of global illumination in dynamic scenes. Our system uses a novel scheme for caching the results of a high quality p...