Sciweavers

5244 search results - page 466 / 1049
» Structural Complexity of AvgBPP
Sort
View
JUCS
2008
208views more  JUCS 2008»
15 years 7 months ago
Using Taxonomies to Support the Macro Design Process for the Production of Web Based Trainings
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
Abdelhak Aqqal, Christoph Rensing, Ralf Steinmetz,...
JMIV
2006
94views more  JMIV 2006»
15 years 7 months ago
Geodesic Shooting for Computational Anatomy
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
Michael I. Miller, Alain Trouvé, Laurent Yo...
ENTCS
2007
116views more  ENTCS 2007»
15 years 7 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ENTCS
2007
112views more  ENTCS 2007»
15 years 7 months ago
A Calculus of Global Interaction based on Session Types
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
Marco Carbone, Kohei Honda, Nobuko Yoshida
MJ
2008
58views more  MJ 2008»
15 years 7 months ago
Using multi-threshold threshold gates in RTD-based logic design: A case study
Abstract - The basic building blocks for Resonant Tunnelling Diode (RTD) logic circuits are Threshold Gates (TGs) instead of the conventional Boolean gates (AND, OR, NAND, NOR) due...
Héctor Pettenghi, Maria J. Avedillo, Jos&ea...