3808 search results - page 414 / 762 » Artificial Intelligence: A Modern Approach |
170
Voted
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
169
Voted
ICTAI
2005
IEEE
16 years 14 days ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
178
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
172
Voted
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
206
Voted
AIMSA
1998
Springer
15 years 11 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...