Sciweavers

1501 search results - page 178 / 301
» Discriminative Mixed-Membership Models
Sort
View
KBSE
2005
IEEE
15 years 12 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
APGV
2005
ACM
107views Visualization» more  APGV 2005»
15 years 12 months ago
A multiresolution color model for visual difference prediction
How different are two images when viewed by a human observer? Such knowledge is needed in many situations including when one has to judge the degree to which a graphics representa...
David J. Tolhurst, Caterina Ripamonti, C. Alejandr...
SLSFS
2005
Springer
15 years 12 months ago
Constructing Visual Models with a Latent Space Approach
We propose the use of latent space models applied to local invariant features for object classification. We investigate whether using latent space models enables to learn patterns...
Florent Monay, Pedro Quelhas, Daniel Gatica-Perez,...
EDM
2010
160views Data Mining» more  EDM 2010»
15 years 7 months ago
Using Neural Imaging and Cognitive Modeling to Infer Mental States while Using an Intelligent Tutoring System
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
Jon M. Fincham, John R. Anderson, Shawn Betts, Jen...
BMCBI
2010
95views more  BMCBI 2010»
15 years 6 months ago
Protein structure modelling and evaluation based on a 4-distance description of side-chain interactions
Background: Accurate evaluation and modelling of residue-residue interactions within and between proteins is a key aspect of computational structure prediction including homology ...
Vladimir Potapov, Mati Cohen, Yuval Inbar, Gideon ...