464 search results - page 28 / 93 » DAME: a rule based designer of microprocessor based systems |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
IADIS
2004
13 years 9 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
HIS
2008
13 years 9 months ago
2008
XCS is a learning classifier system that combines a reinforcement learning scheme with evolutionary algorithms to evolve rule sets on-line by means of the interaction with an envi...