Sciweavers

2880 search results - page 289 / 576
» Types are calling conventions
Sort
View
ICC
2007
IEEE
130views Communications» more  ICC 2007»
16 years 28 days ago
A Dynamic QoS-Based Scheme for Admission Control in OBS Networks
—Optical burst switching (OBS) technology is a promising solution for the next generation Internet backbone. However, call admission control (CAC) and QoS support constitute crit...
Amor Lazzez, Sihem Guemara-ElFatmi, Noureddine Bou...
AMS
2007
Springer
296views Robotics» more  AMS 2007»
16 years 26 days ago
Learning the Inverse Model of the Dynamics of a Robot Leg by Auto-imitation
Abstract Walking, running and hopping are based on self-stabilizing oscillatory activity. In contrast, aiming movements serve to direct a limb to a desired location and demand a qu...
Karl-Theodor Kalveram, André Seyfarth
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
16 years 26 days ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
CIA
2007
Springer
16 years 26 days ago
A Generic Framework for Argumentation-Based Negotiation
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
Markus M. Geipel, Gerhard Weiss
CP
2007
Springer
16 years 26 days ago
Breaking Symmetry of Interchangeable Variables and Values
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. ...