Sciweavers

8337 search results - page 1529 / 1668
» Reasoning With Characteristic Models
Sort
View
JDCTA
2010
122views more  JDCTA 2010»
15 years 1 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou
MST
2010
122views more  MST 2010»
15 years 1 months ago
Self-Referential Justifications in Epistemic Logic
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
Roman Kuznets
SIAMMAX
2010
145views more  SIAMMAX 2010»
15 years 1 months ago
Adaptive First-Order Methods for General Sparse Inverse Covariance Selection
In this paper, we consider estimating sparse inverse covariance of a Gaussian graphical model whose conditional independence is assumed to be partially known. Similarly as in [5],...
Zhaosong Lu
VLSID
2010
IEEE
170views VLSI» more  VLSID 2010»
15 years 4 days ago
Novel Vth Hopping Techniques for Aggressive Runtime Leakage Contro
The continuous increase of leakage power consumption in deep sub-micro technologies necessitates more aggressive leakage control. Runtime leakage control (RTLC) is effective, si...
Hao Xu, Wen-Ben Jone, Ranga Vemuri
CVPR
2011
IEEE
14 years 10 months ago
Reconstruction of relief objects from line drawings
This paper addresses the problem of automatic reconstruction of a 3D relief from a line drawing on top of a given base object. Reconstruction is challenging due to four reasons â€...
Michael Kolomenkin, George Leifman, Ilan Shimshoni...
« Prev « First page 1529 / 1668 Last » Next »