8825 search results - page 300 / 1765 » All for one or one for all |
107
Voted
LOGCOM
1998
15 years 1 months ago
1998
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
105
Voted
NDJFL
1998
15 years 1 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
145
Voted
PVLDB
2008
15 years 1 months ago
2008
The amount of biological data publicly available has experienced an exponential growth as the technology advances. Online databases are now playing an important role as informatio...
126
click to vote
MANSCI
2010
15 years 8 days ago
2010
We study a supply chain with one supplier and many retailers that face exogenous endcustomer demands. The supplier and the retailers all try to minimize their own inventory-relate...
144
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. CAT(0) metric spaces constitute a far-reaching common generalization of Euclidean and hyperbolic spaces and simple polygons: any two points x and y of a CAT(0) metric spa...