8094 search results - page 337 / 1619 » Improvements in Formula Generalization |
142
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
![A New Perspective [on] Shape-from-Shading](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "A New Perspective [on] Shape-from-Shading")
Shape-from-Shading (SfS) is a fundamental problem in Computer Vision. The vast majority of research in this field have assumed orthography as its projection model. This paper re-e...
290
Voted
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
209
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
156
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
—This paper introduces a simple method for calculating the times at which any signal crosses a prespecified threshold voltage (e.g., 10%, 20%, 50%, etc.) directly from the moment...
158
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...