9067 search results - page 1753 / 1814 » Adaptive Model Checking |
225
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: High-throughput functional genomics technologies generate large amount of data with hundreds or thousands of measurements per sample. The number of sample is usually m...
174
click to vote
SIGIR
2011
ACM
14 years 8 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
203
click to vote
IACR
2011
14 years 5 months ago
2011
We consider the question of how to store a value secretly on devices that continually leak information about their internal state to an external attacker. If the secret value is s...
187
click to vote
WSDM
2012
ACM
14 years 1 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
225
click to vote
PAMI
2012
13 years 8 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...