Sciweavers

8337 search results - page 1529 / 1668
» Reasoning With Characteristic Models
Sort
View
JDCTA
2010
122views more  JDCTA 2010»
14 years 11 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
152
Voted
MST
2010
122views more  MST 2010»
14 years 11 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
140
Voted
SIAMMAX
2010
145views more  SIAMMAX 2010»
14 years 11 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»
14 years 10 months 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 8 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 »