2741 search results - page 308 / 549 » Engineering Mathematical Knowledge |
139
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...
146
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
164
click to vote
SOFT
2000
15 years 7 months ago
2000
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
141
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
162
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...