6881 search results - page 84 / 1377 » Motivation |
126
click to vote
DSD
2005
IEEE
15 years 10 months ago
2005
IEEE
In the paper, the principles of Scan Educational Tool are presented. First, the motivation for this activity is briefly mentioned. Then, the structure of software package together...
125
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about d...
146
Voted
CIE
2005
Springer
15 years 10 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
109
click to vote
JSAI
2005
Springer
15 years 10 months ago
2005
Springer
This paper will explain the asymmetry parallelism between node ‘because’ and toki ‘when’ in terms of the availability of Evidential Phrase in syntax, following the analysis...
121
click to vote
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...