2586 search results - page 346 / 518 » Automatic Abstraction for Congruences |
164
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— The greatest characteristic of soft-fingered manipulation is its softness and flexibility during manipulating operations. In previous works, this intrinsic property h...
167
click to vote
ISVLSI
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
145
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
151
click to vote
RTSS
2007
IEEE
16 years 22 days ago
2007
IEEE
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...
155
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...