Sciweavers

3333 search results - page 456 / 667
» Abstract Proof Search
Sort
View
CLEF
2010
Springer
15 years 7 months ago
CLEF-IP 2010: Prior Art Retrieval Using the Different Sections in Patent Documents
In this paper we describe our participation in the 2010 CLEF-IP Prior Art Retrieval task where we examined the impact of information in different sections of patent documents, nam...
Eva D'hondt, Suzan Verberne
ITSSA
2006
129views more  ITSSA 2006»
15 years 6 months ago
A MultiAgent System for Classifying Bioinformatics Publications
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...
Eloisa Vargiu, Andrea Addis
JSAC
2006
131views more  JSAC 2006»
15 years 6 months ago
On Dynamic Optimization of Packet Matching in High-Speed Firewalls
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
Hazem Hamed, Adel El-Atawy, Ehab Al-Shaer
MST
2006
106views more  MST 2006»
15 years 6 months ago
More Fun with Symmetric Venn Diagrams
Abstract. Many researchers have had fun searching for and rendering symmetric Venn diagrams, culminating in the recent result of Griggs, Killian, and Savage ("Venn Diagrams an...
Frank Ruskey, Mark Weston
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
15 years 6 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...