Sciweavers

3731 search results - page 304 / 747
» Reduct Generation in Information Systems
Sort
View
KES
2006
Springer
15 years 7 months ago
Testing Online Navigation Recommendations in a Web Site
An online navigation recommendation system provides the prospective web site visitor with a set of pages that could be of his/her interest. Because the recommendations are given du...
Juan D. Velásquez, Vasile Palade
WWW
2005
ACM
16 years 8 months ago
Making RDF presentable: integrated global and local semantic Web browsing
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...
COCOON
2009
Springer
16 years 2 months ago
An Attacker-Defender Game for Honeynets
A honeynet is a portion of routed but otherwise unused address space that is instrumented for network traffic monitoring. It is an invaluable tool for understanding unwanted Intern...
Jin-yi Cai, Vinod Yegneswaran, Chris Alfeld, Paul ...
MKM
2007
Springer
16 years 1 months ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
SIGLEX
1991
15 years 11 months ago
For the Lexicon that Has Everything
This paper argues that itisimpossible to separate lexicaland encyclopedic knowledge and describes an attempt to build a large lexical database that contains the range of informati...
Martha W. Evens, Joanne Dardaine, Yu-Feng Huang, S...