1411 search results - page 91 / 283 » Interactive Coding for Interactive Proofs |
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper studies the inducement of sequentiality in genetic algorithms (GAs) for uniformly-scaled problems. Sequentiality is a phenomenon in which sub-solutions converg...
112
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
90
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
100
Voted
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
88
Voted
ICAIL
2007
ACM
15 years 4 months ago
2007
ACM
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...