12774 search results - page 175 / 2555 » A Framework for Proof Systems |
244
click to vote
ANNS
2010
15 years 2 months ago
2010
In this contribution we will provide the reader with outcomes of the development of a novel software framework for an unique wafer-scale neuromordware system. The hardware system i...
121
click to vote
PDP
2007
IEEE
15 years 11 months ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
132
click to vote
CSREASAM
2003
15 years 6 months ago
2003
Security is an important element of any system design. Entities supported by a system need to securely interact with each other. The problem gets even more complex in the context ...
151
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
The importance of dialog management systems has increased in recent years. Dialog systems are created for domain specific applications, so that a high demand for a flexible dialog...
124
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...