1969 search results - page 73 / 394 » Financial Theory 1 |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
DM
2010
13 years 9 months ago
2010
For a graph G, a signed domination function of G is a two-colouring of the vertices of G with colours +1 and
DCG
2006
13 years 9 months ago
2006
We show that the equation si1 + si2 +
TCS
2002
13 years 8 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
AAAI
1997
13 years 10 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...