1670 search results - page 105 / 334 » On Skolemization in constructive theories |
133
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
149
click to vote
ISVC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Linear systems and eigen-calculations on symmetric diagonally dominant matrices (SDDs) occur ubiquitously in computer vision, computer graphics, and machine learning. In ...
162
click to vote
ICDCS
2006
IEEE
16 years 13 days ago
2006
IEEE
Earlier work has developed the underpinnings of a theory of scheduling computations having intertask dependencies—modeled via dags—for Internet-based computing. The goal of th...
173
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
143
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
Recognition of unfamiliar faces can be severely impaired when two pictures of a face are taken from different camera distances. This effect of perspective transformation may be pr...