1581 search results - page 63 / 317 » Competitive intelligence process and tools for intelligence ... |
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
AOSE
2000
Springer
14 years 1 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
ILP
2007
Springer
14 years 3 months ago
2007
Springer
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
AMT
2001
Springer
14 years 1 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
BMCBI
2011
13 years 3 months ago
2011
Background: Microarray technology allows the analysis of genomic aberrations at an ever increasing resolution, making functional interpretation of these vast amounts of data the m...