Sciweavers

3333 search results - page 115 / 667
» Abstract Proof Search
Sort
View
97
Voted
ASPDAC
2004
ACM
112views Hardware» more  ASPDAC 2004»
15 years 7 months ago
Efficient reachability checking using sequential SAT
Abstract
Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting...
102
Voted
MOC
2002
97views more  MOC 2002»
15 years 3 months ago
Fifteen consecutive integers with exactly four prime factors
Abstract. We describe a successful search for a sequence of fifteen consecutive integers, each the product of exactly four prime factors. Fifteen is best possible.
Tony Forbes
155
Voted
HT
1996
ACM
15 years 7 months ago
HyPursuit: A Hierarchical Network Search Engine that Exploits Content-Link Hypertext Clustering
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...
Ron Weiss, Bienvenido Vélez, Mark A. Sheldo...
236
Voted
ICDE
2009
IEEE
124views Database» more  ICDE 2009»
16 years 5 months ago
Shared Winner Determination in Sponsored Search Auctions
Abstract-- Sponsored search auctions form a multibillion dollar industry. Search providers auction advertisement slots on search result pages to advertisers who are charged only if...
David J. Martin, Joseph Y. Halpern
144
Voted
BTW
2003
Springer
140views Database» more  BTW 2003»
15 years 8 months ago
An Ontology for Domain-oriented Semantic Similarity Search on XML Data
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...
Anja Theobald