2940 search results - page 221 / 588 » Relational Parametricity and Control |
144
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
181
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone’s touchscreen. In ARC-Pad we combine absolute and...
282
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
173
click to vote
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
184
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: A key step in the analysis of microarray expression profiling data is the identification of genes that display statistically significant changes in expression signals ...