261 search results - page 23 / 53 » synthese 2010 |
ICSE
2010
IEEE-ACM
15 years 5 months 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...
124
click to vote
ICCHP
2010
Springer
14 years 10 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...
111
click to vote
HAID
2010
Springer
14 years 10 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
14 years 9 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
14 years 7 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 ...