: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
: Recently Web Based Training (WBT) starts to be widely used as a new way of teaching. Unfortunately, this mode of teaching imposes new requirements and constraints. It has made th...
Abdelhak Aqqal, Christoph Rensing, Ralf Steinmetz,...
The consistency of classification algorithm plays a central role in statistical learning theory. A consistent algorithm guarantees us that taking more samples essentially suffices...
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...