2153 search results - page 367 / 431 » From Requirements Models to Formal Specifications in B |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We address the problem of autonomously learning controllers for visioncapable mobile robots. We extend McCallum's (1995) Nearest-Sequence Memory algorithm to allow for genera...
TOCS
2008
13 years 10 months ago
2008
We introduce external synchrony, a new model for local file I/O that provides the reliability and simplicity of synchronous I/O, yet also closely approximates the performance of a...
ICIP
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper presents a method for deblurring an image consisting of two layers (a foreground layer and a background layer) which have suffered different, unknown blurs. This is a s...
DAC
2004
ACM
14 years 11 months ago
2004
ACM
Power optimization is of growing importance for FPGAs in nanometer technologies. Considering dual-Vdd technique, we show that configurable power supply is required to obtain a sat...
MICRO
1996
IEEE
14 years 2 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...