Sciweavers

56 search results - page 3 / 12
» Grammatical Constant Creation
Sort
View
IPPS
2007
IEEE
13 years 11 months ago
File Creation Strategies in a Distributed Metadata File System
As computing breaches petascale limits both in processor performance and storage capacity, the only way that current and future gains in performance can be achieved is by increasi...
Ananth Devulapalli, Pete Wyckoff
HICSS
2007
IEEE
133views Biometrics» more  HICSS 2007»
13 years 11 months ago
Process, Knowledge, Touchpoints in Mental Health Communities of Practice
This paper takes as its starting point the paradox of process and care in a mental health setting. On the one hand, a number of ‘care pathways’ can be defined and employed, to...
Ivor Perry
CEC
2007
IEEE
13 years 11 months ago
Evolvability and Redundancy in Shared Grammar Evolution
— Shared grammar evolution (SGE) is a novel scheme for representing and evolving a population of variablelength programs as a shared set of grammatical productions. Productions t...
Martin H. Luerssen, David M. W. Powers
PRICAI
2004
Springer
13 years 10 months ago
Creative 3D Designs Using Interactive Genetic Algorithm with Structured Directed Graph
We propose a methodology for representing artificial creatures like 3D flowers. Directed graph and Lindenmayer system (L-system) are commonly involved in AI-based creativity resear...
Hyeun-Jeong Min, Sung-Bae Cho
CSL
2004
Springer
13 years 10 months ago
Complete Lax Logical Relations for Cryptographic Lambda-Calculi
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...