6693 search results - page 419 / 1339 » Methods of Automatic Algorithm Generation |
179
click to vote
FLAIRS
2006
15 years 8 months ago
2006
Autonomous robots, such as automatic vacuum cleaners, toy robot dogs, and autonomous vehicles for the military, are rapidly becoming a part of everyday life. As a result the need ...
239
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
140
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we will present a method for generating conversations between human-like agents by proposing specific parameters for inter-agents messages with an approximation of...
192
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
199
click to vote
BIS
2006
15 years 8 months ago
2006
The problem of the semantics-preserving data transformations during their exchange by e-business applications is addressed. A method for automatic generation of schema mappings is...