Sciweavers

2285 search results - page 320 / 457
» Structural Web Search Engine
Sort
View
AGENTS
1999
Springer
15 years 8 months ago
Personal Navigating Agents
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
H. L. Wang, W. K. Shih, C. N. Hsu, Y. S. Chen, Y. ...
TPHOL
2000
IEEE
15 years 8 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 1 months ago
Using Semantic Wikis for Structured Argument in Medical Domain
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
Adrian Groza, Radu Balaj

Publication
212views
15 years 9 months ago
Browser independent content based image resizing for liquid web layouts
A typical problem for webdesigners is to realize pages that can be potentially accessed from a number of display devices with different screen sizes and resolutions. Liquid layouts...
Gallea Roberto, Ardizzone Edoardo, Pirrone Roberto
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 4 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic