Sciweavers

861 search results - page 39 / 173
» Putting Objects in Perspective
Sort
View
JCIT
2008
136views more  JCIT 2008»
13 years 7 months ago
ARMMS - Architecture Reference Model for Multilingual Software
Multilingual software development is put in limelight due to the globalization efforts of the organization. But these development approaches do not have any reference model or fra...
V. Prasanna Venkatesan, S. Kuppuswami
CORR
2002
Springer
85views Education» more  CORR 2002»
13 years 7 months ago
Intuitions and the modelling of defeasible reasoning: some case studies
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
Henry Prakken
JACM
2002
122views more  JACM 2002»
13 years 7 months ago
Cosmological lower bound on the circuit complexity of a small problem in logic
An exponential lower bound on the circuit complexity of deciding the weak monadic second-order theory of one successor (WS1S) is proved. Circuits are built from binary operations, ...
Larry J. Stockmeyer, Albert R. Meyer
IFIPTCS
2010
13 years 5 months ago
Traceable Sets
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...
Rupert Hölzl, Wolfgang Merkle
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek