24286 search results - page 367 / 4858 » Research as Design-Design as Research |
146
click to vote
AB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
142
click to vote
AIMS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper presents the idea of a fully decentralized peer-to-peer collaborative network with a robust, scalable and incentive-compatible system enabling storage, retriev...
186
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Some research works have mentioned the similarity of autopoiesis with (M,R) systems proposed by Rosen, from the perspective of closedness of the systems. However, there a...
148
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Very few research efforts have been spent on the coordination of plans and operations of independent carriers in an intermodal transportation chain. The impact of this lack of co...
163
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. Consistent query answering (CQA) is an approach to querying inconsistent databases without repairing them first. This invited talk introduces the basics of CQA, and disc...