Sciweavers

2960 search results - page 318 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
IGPL
2011
14 years 10 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
LICS
1999
IEEE
15 years 11 months ago
Extensional Equality in Intensional Type Theory
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
Thorsten Altenkirch
FLAIRS
2000
15 years 8 months ago
Inferencing Bayesian Networks from Time Series Data Using Natural Selection
This paper describes a new framework for using natural selection to evolve Bayesian Networks for use in forecasting time series data. It extends current research by introducing a ...
Andrew J. Novobilski, Farhad Kamangar
CAD
1998
Springer
15 years 6 months ago
Approximation of developable surfaces with cone spline surfaces
Developable surfaces are modelled with pieces of right circular cones. These cone spline surfaces are well-suited for applications: They possess degree two parametric and implicit...
Stefan Leopoldseder, Helmut Pottmann
PVM
2010
Springer
15 years 5 months ago
Two Algorithms of Irregular Scatter/Gather Operations for Heterogeneous Platforms
Abstract. In this work we present two algorithms of irregular scatter/gather operations based on the binomial tree and Tr¨aff algorithms. We use the prediction provided by hetero...
Kiril Dichev, Vladimir Rychkov, Alexey L. Lastovet...