4266 search results - page 632 / 854 » A Framework for Defining Logics |
149
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
170
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
137
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Custom operators, working at custom precisions, are a key ingredient to fully exploit the FPGA flexibility advantage for high-performance computing. Unfortunately, such operators...
148
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
134
click to vote
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...