1418 search results - page 114 / 284 » How to Explain Mistakes |
ELPUB
2007
ACM
14 years 1 months ago
2007
ACM
Even though there is nothing new about the idea, ontologies are a hot topic. Built for many reasons and appliances, the use of ontologies in real-life applications remains limited...
DASFAA
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract. In this tutorial we provide an insight into Web Mining, i.e., discovering knowledge from the World Wide Web, especially with reference to the latest developments in Web t...
FOSAD
2009
Springer
14 years 1 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
CRV
2004
IEEE
14 years 1 months ago
2004
IEEE
The Selective Tuning Model is a proposal for modelling visual attention in primates and humans. This paper describes ongoing research to include attention to motion stimuli within ...