12774 search results - page 209 / 2555 » A Framework for Proof Systems |
141
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper introduces a convenient framework based on passivity and Linear Matrix Inequalities (LMIs) for stability analysis and controller design for haptic systems involving ...
183
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Recommender Systems (RS) so far have been applied to many fields of e-commerce in order to assist users in finding the products that best meet their preferences. However, while th...
153
click to vote
CBMS
2002
IEEE
15 years 11 months ago
2002
IEEE
The market for health care systems supporting physicians and improving their daily routine is dynamically growing. The development of these systems makes great demands on the hand...
222
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
176
click to vote
FSS
2008
15 years 6 months ago
2008
In the field of classification problems, we often encounter classes with a very different percentage of patterns between them, classes with a high pattern percentage and classes w...