2940 search results - page 148 / 588 » Adaptive control of PDEs |
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Trust emerges from interaction. If trust in information systems is to be promoted, then attention must be directed, at least in part, to interaction design. This presentation will ...
CNL
2009
13 years 11 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Typical active noise control (ANC) system aims primarily at reducing the acoustic noise over the entire frequency band. Non-uniformity of human hearing response in frequency domai...
LCTRTS
2010
Springer
14 years 4 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...