2432 search results - page 384 / 487 » High-level approach to modeling of observed system behavior |
170
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
179
click to vote
ASC
2008
15 years 6 months ago
2008
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
165
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...
138
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
183
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...