Sciweavers

1022 search results - page 92 / 205
» Logspace Complexity of Functions and Structures
Sort
View
APSEC
2001
IEEE
15 years 1 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
ACHI
2009
IEEE
15 years 1 months ago
SCRABBLE.GZ: A Web-Based Collaborative Game to Promote the Galician Language
We present in this paper a web-based version of a Scrabble game, describing its architecture and some implementation details. This architecture makes possible a high degree of int...
Guillermo de Bernardo, Ana Cerdeira-Pena, Oscar Pe...
ANOR
2006
70views more  ANOR 2006»
14 years 10 months ago
Optimization problems in electron microscopy of single particles
Electron Microscopy is a valuable tool for the elucidation of the three-dimensional structure of macromolecular complexes. Knowledge about the macromolecular structure provides imp...
Carlos Oscar Sánchez Sorzano, Roberto Marab...
ALIFE
1998
14 years 9 months ago
Evolutionary Body Building: Adaptive Physical Designs for Robots
Creating artificial life forms through evolutionary robotics faces a “chicken and egg” problem: learning to control a complex body is dominated by problems specific to its s...
Pablo Funes, Jordan B. Pollack
ATAL
2003
Springer
15 years 3 months ago
Self-Organisation: Paradigms and Applications
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
Giovanna Di Marzo Serugendo, Noria Foukia, Salima ...