1996 search results - page 44 / 400 » Financial Theory 2 |
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...
ORDER
2007
13 years 9 months ago
2007
In this paper we study the 2-dimension of a finite poset from the topological point of view. We use homotopy theory of finite topological spaces and the concept of a beat point ...
STOC
2007
ACM
14 years 10 months ago
2007
ACM
We show that, assuming the Unique Games Conjecture, it is NPhard to approximate MAX 2-SAT within LLZ + , where 0.9401 < LLZ < 0.9402 is the believed approximation ratio of t...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...