4609 search results - page 412 / 922 » Automatic Generation of Sigma-Protocols |
250
click to vote
ACMIDC
2010
15 years 4 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
191
click to vote
BMVC
2010
15 years 4 months ago
2010
We propose a method for vision-based scene understanding in urban traffic environments that predicts the appropriate behavior of a human driver in a given visual scene. The method...
216
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
166
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Network equipments generate an overwhelming number of reports and alarms every day, but only a small fraction of these alarms require the intervention of network operators. Our goa...
195
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...