8623 search results - page 1310 / 1725 » Software engineering for secure systems |
197
click to vote
SIAMCO
2011
15 years 1 months ago
2011
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
265
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
199
click to vote
IUI
2011
ACM
14 years 9 months ago
2011
ACM
This paper describes an approach to allow end users to define new procedures through tutorial instruction. Our approach allows users to specify procedures in natural language in t...
187
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
The next big step in embedded, mobile speech recognition will be to allow completely free input as it is needed for messaging like SMS or email. However, unconstrained dictation r...
184
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
In this paper we present a new bimanual markerless gesture interface for 3D full-body motion tracking sensors, such as the Kinect. Our interface uses a probabilistic algorithm to ...