2462 search results - page 272 / 493 » WEESA: Web engineering for semantic Web applications |
200
click to vote
AWIC
2003
Springer
16 years 13 days ago
2003
Springer
Abstract Search engines, with Google at the top, have many remarkable capabilities. But what is not among them is the deduction capability—the capability to synthesize an answer ...
210
click to vote
ESWA
2008
15 years 7 months ago
2008
We address the problem of integrating web taxonomies from different real Internet applications. Integrating web taxonomies is to transfer instances from a source to target taxonom...
208
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
Keyword-based search engines, though hugely popular, are limited when trying to answer very specific queries. The processing of search results is performed by users, rather than th...
181
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
ing Application-Level Web Security David Scott Laboratory For Communications Engineering Engineering Department Trumpington Street Cambridge CB2 1PZ djs55@eng.cam.ac.uk Richard Sha...
182
click to vote
JUCS
2006
15 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...