2308 search results - page 353 / 462 » Representing Symbolic Reasoning |
129
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
138
click to vote
IAT
2008
IEEE
16 years 24 days ago
2008
IEEE
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
162
click to vote
IROS
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— In their interactions with the world robots inevitably face equivalent action choices, situations in which multiple actions are equivalently applicable. In this paper, ...
148
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
148
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...