4810 search results - page 162 / 962 » Modeling Value Speculation |
182
click to vote
IAJIT
2010
15 years 5 months ago
2010
: This paper presents an algorithm, which is a hybrid-computing algorithm in representing solid model. The proposed algorithm contains two steps namely reconstruction and represent...
161
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
174
click to vote
TIT
2010
15 years 1 months ago
2010
Floating codes are codes designed to store multiple values in a Write Asymmetric Memory, with applications to flash memory. In this model, a memory consists of a block of n cells, ...
189
click to vote
IM
2006
15 years 6 months ago
2006
Recent work on modeling the web graph has dwelt on capturing the degree distributions observed on the web. Pointing out that this represents a heavy reliance on "local" p...
IJBC
2007
15 years 6 months ago
2007
In this paper we present a model of impact dynamics in large dimensional systems. We describe a hybrid method, based on graph theory and probability theory, which enables us quali...