10568 search results - page 544 / 2114 » Computer Intelligence and Formalization |
180
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
172
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We extend the alternating-time temporal logics ATL and ATL with strategy contexts and memory constraints: the first extension makes strategy quantifiers to not “forget” the s...
168
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
134
click to vote
FLAIRS
2004
15 years 7 months ago
2004
All courses in Artificial Intelligence are not equal. The topics covered by a course entitled Artificial Intelligence vary widely. The Computing Curricula 2001: Computer Science o...
151
click to vote
EVOW
2010
Springer
15 years 9 months ago
2010
Springer
Divide-and-Evolve (DaE) is an original "memeticization" of Evolutionary Computation and Artificial Intelligence Planning. DaE optimizes either the number of actions, or t...