We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
The Content Based Image Retrieval (CBIR) has been an active research area. Given a collection of images, it is to retrieve the images based on a query image, which is specified by...
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
The SINAI1 research group presents some results obtained after performing a brief analysis to the query logs from The European Library2 (TEL). The objective of the LogCLEF task is ...
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...