3973 search results - page 653 / 795 » Records for Logic Programming |
155
Voted
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
Genetic programming makes it possible to automatically search the space of possible programs. First we evolved a behavior-based control architecture using computer simulations. Th...
161
Voted
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
124
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
106
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...
146
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...