7623 search results - page 235 / 1525 » Constructive Volume Modeling |
102
Voted
FCS
2008
15 years 5 months ago
2008
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
182
click to vote
IADIS
2004
15 years 5 months ago
2004
As e-commerce is considered an excellent alternative for business to reach new customers, interests in design principles for e-commerce websites, are increasing. However, not many...
152
Voted
PPL
2008
15 years 3 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
149
Voted
TKDE
1998
15 years 3 months ago
1998
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
126
Voted
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...