We present techniques to semi-automatically discover Recurrent Visual Semantics (RVS) -the repetitive appearance of visually similar elements such as objects and scenes- in consum...
Alejandro Jaimes, Ana B. Benitez, Shih-Fu Chang, A...
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
We discuss query evaluation for XML-based server systems where the same query is evaluated on every incoming XML message. In a typical scenario, many of the incoming messages will...
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...