Sciweavers

3052 search results - page 374 / 611
» Engineers Don't Search
Sort
View
ICS
2010
Tsinghua U.
14 years 8 months ago
Pan-Private Streaming Algorithms
Collectors of confidential data, such as governmental agencies, hospitals, or search engine providers, can be pressured to permit data to be used for purposes other than that for ...
Cynthia Dwork, Moni Naor, Toniann Pitassi, Guy N. ...
FROCOS
2007
Springer
14 years 5 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
IAT
2006
IEEE
14 years 5 months ago
Supporting Research with Weblogs: A Study on Web-Based Research Support Systems
Research environments have been changing with the availability of new technologies for decades. Researchers are benefited from digital libraries, online databases, and Web search...
Jingtao Yao
IRI
2005
IEEE
14 years 4 months ago
A lattice framework for reusing top-k query results
Abstract)",4th Annual Walter Lincoln Hawkins Research Conference, RPI, November 2005. B. Hill, \Correlated Caching for Correlated Data", 2nd Annual Walter Lincoln Hawkins...
Brandeis Hill
CLEF
2005
Springer
14 years 4 months ago
Question Answering for Dutch Using Dependency Relations
We describe Joost, our QA system for Dutch, which makes extensive use of dependency relations. We analyzed the full Dutch CLEF QA corpus syntactically and mined it off-line for i...
Gosse Bouma, Jori Mur, Gertjan van Noord, Lonneke ...