4235 search results - page 459 / 847 » Process Spaces |
156
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
154
click to vote
ICCBR
2009
Springer
16 years 27 days ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
178
Voted
ICCBR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
141
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
143
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...