1434 search results - page 222 / 287 » Graph Searching with Advice |
129
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
119
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
Focused web crawlers have recently emerged as an alternative to the well-established web search engines. While the well-known focused crawlers retrieve relevant webpages, there ar...
153
Voted
IEEEPACT
1997
IEEE
15 years 7 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
165
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
104
Voted
ICTAI
1993
IEEE
15 years 7 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...