Sciweavers

4346 search results - page 409 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
INFORMATICALT
2008
120views more  INFORMATICALT 2008»
15 years 6 months ago
Nonlinear Behaviour in the MPI-Parallelised Model of the Rat Somatosensory Cortex
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
Grzegorz M. Wojcik, Wieslaw A. Kaminski
IVC
2000
104views more  IVC 2000»
15 years 6 months ago
Learning spatio-temporal patterns for predicting object behaviour
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...
Neil Sumpter, Andrew J. Bulpitt
HASKELL
2005
ACM
16 years 10 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
CGF
2011
14 years 10 months ago
BSSRDF Estimation from Single Images
We present a novel method to estimate an approximation of the reflectance characteristics of optically thick, homogeneous translucent materials using only a single photograph as ...
Adolfo Muñoz, Jose I. Echevarria, Francisco...
WSDM
2010
ACM
215views Data Mining» more  WSDM 2010»
16 years 4 months ago
Boilerplate Detection using Shallow Text Features
In addition to the actual content Web pages consist of navigational elements, templates, and advertisements. This boilerplate text typically is not related to the main content, ma...
Christian Kohlschütter, Peter Fankhauser, Wol...