3456 search results - page 341 / 692 » Algorithms for Interface Synthesis |
189
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
180
click to vote
JFR
2010
15 years 1 months ago
2010
This paper presents a solution to the problem of unsupervised classification of dynamic obstacles in urban environments. A track-based model is introduced for the integration of 2...
139
click to vote
UIST
2005
ACM
16 years 7 days ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...
164
click to vote
PDSE
2000
15 years 8 months ago
2000
The aim of this paper is to describe a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ...
176
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...