Sciweavers

7009 search results - page 929 / 1402
» Patterns in Complex Systems Modeling
Sort
View
STOC
2006
ACM
141views Algorithms» more  STOC 2006»
16 years 8 months ago
Zero-knowledge against quantum attacks
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
John Watrous
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
16 years 2 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
16 years 2 months ago
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
Nicola Bombieri, Nicola Deganello, Franco Fummi
ICAC
2007
IEEE
16 years 1 months ago
Adaptive Multi-levels Dictionaries and Singular Value Decomposition Techniques for Autonomic Problem Determination
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
Hoi Chan, Thomas Kwok
IVA
2007
Springer
16 years 1 months ago
Incremental Multimodal Feedback for Conversational Agents
Just like humans, conversational computer systems should not listen silently to their input and then respond. Instead, they should enforce the speaker-listener link by attending ac...
Stefan Kopp, Thorsten Stocksmeier, Dafydd Gibbon