1699 search results - page 41 / 340 » On the Expressive Power of QLTL |
148
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The Cancer Genome Anatomy Project (CGAP) xProfiler and cDNA Digital Gene Expression Displayer (DGED) have been made available to the scientific community over a decade...
109
Voted
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
The XQuery Update Facility has been recently published by the World Wide Web Consortium as a working draft. Among other features, the working draft presents a novel powerful trans...
92
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The ...
103
Voted
MSCS
2010
14 years 11 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
103
click to vote
WIOPT
2010
IEEE
14 years 11 months ago
2010
IEEE
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...