437 search results - page 73 / 88 » Automatic Generation of Implied Constraints |
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
We consider the problem of estimating the shape and radiance of an object from a calibrated set of views under the assumption that the reflectance of the object is nonLambertian. ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. A novel algorithm is presented for the 3D reconstruction of human action in long (> 30 second) monocular image sequences.A sequence is represented by a small set of au...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
As power consumption of the clock tree in modern VLSI designs tends to dominate, measures must be taken to keep it under control. This paper introduces an approach for reducing cl...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...