9405 search results - page 101 / 1881 » Computing a Model of Set Theory |
QEST
2010
IEEE
14 years 7 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
ICIAP
1997
ACM
15 years 2 months ago
1997
ACM
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
JNS
2010
14 years 4 months ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...