7623 search results - page 503 / 1525 » Constructive Volume Modeling |
186
click to vote
WSC
2000
15 years 8 months ago
2000
Over the last two decades, simulation of construction operations has gained momentum in its ability to provide solutions and understand complex problems. However, there still rema...
154
click to vote
IJNSEC
2008
15 years 6 months ago
2008
A scheme for general group oriented ID-based cryptosystems is proposed. This scheme allows an authorized subset in the general access structure to cooperatively decrypt the cipher...
182
click to vote
JSYML
2007
15 years 6 months ago
2007
We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2...
140
click to vote
APAL
2002
15 years 6 months ago
2002
In this paper we discuss extensions of Feferman's theory T0 for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natu...
150
click to vote
ECCC
2002
15 years 6 months ago
2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...