10916 search results - page 12 / 2184 » On Constructive Connectives and Systems |
WMTE
2002
IEEE
14 years 2 months ago
2002
IEEE
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
The pre-computation of data cubes is critical to improving the response time of On-Line Analytical Processing (OLAP) systems and can be instrumental in accelerating data mining tas...
OPODIS
2007
13 years 11 months ago
2007
Abstract. We consider the distributed construction of a minimum weight 2edge-connected spanning subgraph (2-ECSS) of a given weighted or unweighted graph. A 2-ECSS of a graph is a ...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
EUSFLAT
2007
13 years 11 months ago
2007
This paper is devoted to construction of fuzzy preference relations and to showing how this construction is connected with Lukasiewicz filters and TL-evaluators. We will study al...