5550 search results - page 721 / 1110 » Different Approaches to Proof Systems |
170
click to vote
AAAI
2008
15 years 9 months ago
2008
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
180
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present the impact of dynamically translating any sequence of instructions into combinational logic. The proposed approach combines a reconfigurable architecture ...
210
click to vote
APVIS
2008
15 years 8 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...
177
click to vote
BIS
2007
15 years 8 months ago
2007
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
174
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Although research has previously been done on multilingual speech recognition, it has been found to be very difficult to improve over separately trained systems. The usual approa...