261 search results - page 23 / 53 » synthese 2010 |
ICSE
2010
IEEE-ACM
14 years 10 days ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
ICCHP
2010
Springer
13 years 6 months ago
2010
Springer
Groupware systems allow remote collaboration via computer in a simple, economic and efficient way. However, to be universally valuable, groupware systems must be accessible and usa...
HAID
2010
Springer
13 years 5 months ago
2010
Springer
We describe an audio-haptic experiment conducted using a system which simulates in real-time the auditory and haptic sensation of walking on different surfaces. The system is based...
CLEIEJ
2010
13 years 5 months ago
2010
This work presents a dedicated hardware design for the Forward Quantization Module (Q module) of the H.264/AVC Video Coding Standard, using optimized multipliers. The goal of this...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...