2303 search results - page 376 / 461 » On the logic of argumentation theory |
136
click to vote
AIED
2007
Springer
16 years 17 days ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
161
click to vote
CP
2007
Springer
16 years 17 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
164
click to vote
FSKD
2007
Springer
16 years 16 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
147
click to vote
FSTTCS
2007
Springer
16 years 16 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
167
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...