1021 search results - page 47 / 205 » Pure Subtype Systems |
ASYNC
2002
IEEE
14 years 22 days ago
2002
IEEE
For application in a software defined radio a CORDIC processor has been developed that can operate both in synchronous and asynchronous mode. Each mode of operation has advantages...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Alternating-offers is the most prominent negotiation protocol for automatic bilateral bargaining. Nevertheless, in most settings it is still not known how two fully ratio...
MPC
1995
Springer
13 years 11 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
CLEF
2010
Springer
13 years 9 months ago
2010
Springer
This paper summarizes the results of our first participation at ResPubliQA. Lacking a true question answering system, we relied on our traditional search engine to find the answers...
ICWE
2010
Springer
13 years 6 months ago
2010
Springer
Inspired by the Google Wonder Wheel1 , in this paper we present Semantic Wonder Cloud (SWOC): a tool that helps users in knowledge exploration within the DBpedia dataset by adoptin...