1585 search results - page 283 / 317 » A framework for computer-aided validation |
123
click to vote
JUCS
2010
14 years 10 months ago
2010
: Nowadays, personalized education is a very hot topic in technology enhanced learning (TEL) research. To support students during their learning process, the first step consists in...
102
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Influenza A viruses exhibit complex epidemiological patterns in a number of mammalian and avian hosts. Understanding transmission of these viruses necessitates taking ...
123
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
121
click to vote
PAMI
2012
13 years 2 months ago
2012
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
118
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Color information can be used as a basic and crucial cue for finding correspondence in a stereo matching algorithm. In a real scene, however, image colors are affected by various g...