535 search results - page 90 / 107 » Termination of Abstract Reduction Systems |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— The problem of an effective coordination of multiple autonomous robots is one of the most important tasks of the modern robotics. In turn, it is well known that the lea...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
CICLING
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a linguistically-motivated sub-sentential alignment system that extends the intersected IBM Model 4 word alignments. The alignment system is chunk-driven and r...