Sciweavers

10802 search results - page 355 / 2161
» Generative and developmental systems
Sort
View
133
Voted
NDSS
2009
IEEE
15 years 11 months ago
CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
Michael Backes, Peter Druschel, Andreas Haeberlen,...
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
15 years 11 months ago
Dynamical Systems Approach for the Autonomous Avoidance of Obstacles and Joint-limits for an Redundant Robot Arm
— We extend the attractor dynamics approach to generate goal-directed movement of a redundant, anthropomorphic arm while avoiding dynamic obstacles and respecting joint limits. T...
Ioannis Iossifidis, Gregor Schöner
PRDC
2005
IEEE
15 years 10 months ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott
113
Voted
AIED
2005
Springer
15 years 10 months ago
Realizing Adaptive Questions and Answers for ICALL Systems
Language training systems that provide learners adaptive questions on the contents of stories require several capabilities such as semantic analysis, automated question generation ...
Hidenobu Kunichika, Minoru Urushima, Tsukasa Hiras...
ISCAS
2003
IEEE
147views Hardware» more  ISCAS 2003»
15 years 10 months ago
Parameterized and low power DSP core for embedded systems
Conventional ASIC designs are hard to be customized. Therefore DSP core-based ASIC design has potentially large payoff. This approach not only supports improved performance but al...
Ya-Lan Tsao, Ming Hsuan Tan, Jun-Xian Teng, Shyh-J...