9110 search results - page 1482 / 1822 » Formally-Based Design Evaluation |
160
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
183
click to vote
TCSV
2008
15 years 6 months ago
2008
We present a compressed domain scheme that is able to recognize and localize actions in real-time1 . The recognition problem is posed as performing an action video query on a test ...
197
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract--This paper considers the automatic design of fuzzyrule-based classification systems from labeled data. The performance of classifiers and the interpretability of generate...
165
click to vote
ISJGP
2007
15 years 6 months ago
2007
Abstract Recent advances in mobile computing and wireless communication technologies are enabling high mobility and flexibility of anytime, anywhere service access for mobile us...
174
Voted
TISSEC
2008
15 years 6 months ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...