Sciweavers

953 search results - page 103 / 191
» A note on the paper
Sort
View
SAT
2009
Springer
153views Hardware» more  SAT 2009»
14 years 2 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
TPCTC
2009
Springer
104views Hardware» more  TPCTC 2009»
14 years 2 months ago
The State of Energy and Performance Benchmarking for Enterprise Servers
To address the server industry’s marketing focus on performance, benchmarking organizations have played a pivotal role in developing techniques to determine the maximum achievabl...
Andrew Fanara, Evan Haines, Arthur Howard
CANDC
2009
ACM
14 years 2 months ago
BodyDaemon
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
Carlos Castellanos, Thecla Schiphorst
ICUIMC
2009
ACM
14 years 2 months ago
Bilinear-pairing-based remote user authentication schemes using smart cards
This paper presents a detailed review of remote user authentication schemes with smart cards based on bilinear pairings. The first scheme regarding this was proposed by Manik et a...
Al-Sakib Khan Pathan, Choong Seon Hong
AICCSA
2008
IEEE
292views Hardware» more  AICCSA 2008»
14 years 2 months ago
Enumeration of maximal clique for mining spatial co-location patterns
This paper presents a systematic approach to mine colocation patterns in Sloan Digital Sky Survey (SDSS) data. SDSS Data Release 5 (DR5) contains 3.6 TB of data. Availability of s...
Ghazi Al-Naymat