Knowledge-Based Systems / Geographic Information Systems / Bayer / Wilson / MIT Press / Venable / AAAI Press / /
Facility
Swiss Federal Institute of Technology / /
IndustryTerm
still interleaving search / transportation / preferred solution / fuzzy temporal networks / aerospace ones / iterative hybrid algorithms / certain solution algorithm / local search / satellite imagery / machinery / interactive constraint systems / combinatorial search problems / search techniques / search tree / Temporal constraint networks / propagation algorithms / bound algorithms / satellite images / search space / car configuration problem / paint types / utilitarian optimal solutions / /
Organization
Congress / MIT / Artificial Copyright Intelligence / Association for the Advancement / IEEE Computer Society / Computational Intelligence / Swiss Federal Institute of Technology in Lausanne / /
Person
K. Brent Venable / Francesca Rossi / Augustinus Buchhandlung / Van Beek / Morgan Kaufmann / /
Position
unified lattice model for static analysis / same teacher / /