3552 search results - page 534 / 711 » Proof theory in the abstract |
155
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
152
click to vote
CIE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
125
click to vote
COSIT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
175
click to vote
DALT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
131
click to vote
ER
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...