Sciweavers

3092 search results - page 376 / 619
» Where are you pointing
Sort
View
SAMT
2009
Springer
135views Multimedia» more  SAMT 2009»
16 years 19 days ago
Exploring Relationships between Annotated Images with the ChainGraph Visualization
Abstract. Understanding relationships and commonalities between digital contents based on metadata is a difficult user task that requires sophisticated presentation forms. In this ...
Steffen Lohmann, Philipp Heim, Lena Tetzlaff, Thom...
186
Voted
SAT
2009
Springer
153views Hardware» more  SAT 2009»
16 years 19 days 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
SSS
2009
Springer
123views Control Systems» more  SSS 2009»
16 years 19 days ago
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat
In recent years peer-to-peer (P2P) technology has been adopted by Internet-based malware as a fault tolerant and scalable communication medium for self-organization and survival. I...
Márk Jelasity, Vilmos Bilicki
ASPDAC
2009
ACM
161views Hardware» more  ASPDAC 2009»
16 years 19 days ago
Risk aversion min-period retiming under process variations
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
Jia Wang, Hai Zhou
MOBILWARE
2009
ACM
16 years 18 days ago
Middleware Solutions for Self-organizing Multi-hop Multi-path Internet Connectivity Based on Bluetooth
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
Paolo Bellavista, Carlo Giannelli