8179 search results - page 475 / 1636 » The PRACTIONIST Development Tool |
171
click to vote
ENTCS
2007
15 years 6 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
212
click to vote
ESWA
2007
15 years 6 months ago
2007
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
173
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
178
click to vote
JASSS
2002
15 years 6 months ago
2002
When does opinion formation within an interacting group lead to consensus, polarization or fragmentation? The article investigates various models for the dynamics of continuous opi...
159
click to vote
JSS
2002
15 years 6 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...