4266 search results - page 512 / 854 » A Framework for Defining Logics |
181
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In a previous paper the authors argued the case for incorporating ideas from innate immunity into artificial immune systems (AISs) and presented an outline for a conceptual framewo...
163
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...
160
click to vote
DKE
2002
15 years 6 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
182
Voted
FSS
2010
15 years 4 months ago
2010
In this paper, we introduce a linearity test for fuzzy rule-based models in the framework of time series modeling. To do so, we explore a family of statistical models, the regime ...
154
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...