3717 search results - page 392 / 744 » Representing Multiple Theories |
192
click to vote
IROS
2008
IEEE
16 years 2 months 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, ...
185
click to vote
LICS
2008
IEEE
16 years 2 months 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...
190
click to vote
ARITH
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper introduces two novel architectures for parallel decimal multipliers. Our multipliers are based on a new algorithm for decimal carry–save multioperand addition that us...
180
click to vote
EDOC
2007
IEEE
16 years 2 months ago
2007
IEEE
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
178
click to vote
IV
2007
IEEE
16 years 2 months ago
2007
IEEE
Despite its popularity and widespread use, timeline visualisation suffers from shortcomings which limit its use for displaying multiple data streams when the number of streams inc...