7623 search results - page 384 / 1525 » Constructive Volume Modeling |
195
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
151
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The aim of this paper is twofold: to provide a theoretical model to analyze obstacles, challenges, and incentives which lead a nonprofessional user to design websites and produce ...
182
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
198
click to vote
APCCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
223
click to vote
ADBIS
2004
Springer
16 years 2 days ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...