In this paper we propose a representation framework for dynamic multi-sensory knowledge and user context, and its application in media retrieval. We provide a definition of context...
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
This paper discusses a new approach that facilitates the use of simulation in supply chain applications, especially for manufacturing-related activities. A neutral information rep...
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...