Sciweavers

4352 search results - page 309 / 871
» A Representation Theorem and Applications
Sort
View
200
Voted
CIVR
2006
Springer
141views Image Analysis» more  CIVR 2006»
15 years 11 months ago
Context-Aware Media Retrieval
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...
Ankur Mani, Hari Sundaram
157
Voted
AAAI
2006
15 years 8 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
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...
WSC
2004
15 years 8 months ago
Modeling Information for Manufacturing-Oriented Supply-Chain Simulations
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...
Guixiu Qiao, Frank Riddick
ICWE
2010
Springer
15 years 6 months ago
Model-Driven Web Engineering Performance Prediction with Layered Queue Networks
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...
Alessio Gambi, Giovanni Toffetti, Sara Comai
192
Voted
AAAI
2011
14 years 7 months ago
Termination and Correctness Analysis of Cyclic Control
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...