Sciweavers

8322 search results - page 50 / 1665
» What Are We Looking for
Sort
View
UM
2009
Springer
14 years 2 months ago
Google Shared. A Case-Study in Social Search
Web search is the dominant form of information access and everyday millions of searches are handled by mainstream search engines, but users still struggle to find what they are lo...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...
STOC
2005
ACM
104views Algorithms» more  STOC 2005»
14 years 8 months ago
Beyond NP: the work and legacy of Larry Stockmeyer
Shortly after Steven Cook and Richard Karp showed the existence of many natural NP-complete languages, researchers started to realize the great importance of the P versus NP probl...
Lance Fortnow
CSL
2004
Springer
14 years 1 months ago
Game-Based Notions of Locality Over Finite Models
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
CGF
2006
132views more  CGF 2006»
13 years 7 months ago
Verification of Physically Based Rendering Algorithms
Within computer graphics, the field of predictive rendering is concerned with those methods of image synthesis which yield results that do not only look real, but are also radiome...
Christiane Ulbricht, Alexander Wilkie, Werner Purg...
IWPC
2008
IEEE
14 years 2 months ago
What's a Typical Commit? A Characterization of Open Source Software Repositories
The research examines the version histories of nine open source software systems to uncover trends and characteristics of how developers commit source code to version control syst...
Abdulkareem Alali, Huzefa H. Kagdi, Jonathan I. Ma...