6693 search results - page 6 / 1339 » Methods of Automatic Algorithm Generation |
116
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
132
click to vote
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
97
Voted
WEBI
2005
Springer
15 years 6 months ago
2005
Springer
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
142
Voted
3DIM
2005
IEEE
15 years 6 months ago
2005
IEEE
Our goal is the production of highly accurate photorealistic descriptions of the 3D world with a minimum of human interaction and increased computational efficiency. Our input is...
96
Voted
ACMSE
2010
ACM
14 years 11 months ago
2010
ACM
Reinforcement Programming (RP) is a new technique for automatically generating a computer program using reinforcement learning methods. This paper describes how RP learned to gene...