6438 search results - page 190 / 1288 » A Parameterised Search System |
136
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
119
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce the design of a Personalized Education (PE) search approach that employs multiple ontologies to automatically generate queries for educational resource...
117
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses the evaluation of a visual information seeking system for the Web called INSYDER. The aim of INSYDER is to find business information on the Web. The evaluatio...
128
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
128
click to vote
ERCIMDL
2008
Springer
15 years 6 months ago
2008
Springer
MultiMatch is a 30 month targeted research project under the Sixth Framework Programme, supported by the unit for Content, Learning and Cultural Heritage (Digicult) of the Informat...