2502 search results - page 381 / 501 » Using probabilistic model checking in systems biology |
196
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...
158
click to vote
AROBOTS
2010
15 years 4 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
172
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
178
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
148
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...