1699 search results - page 76 / 340 » On the Expressive Power of QLTL |
119
Voted
SEKE
2005
Springer
15 years 6 months ago
2005
Springer
Facial expression is one of the primary communication means of the human. However, realistic facial expression images are not used in popular communication tools on portable devic...
BMCBI
2006
15 years 24 days ago
2006
Background: A large number of genes usually show differential expressions in a microarray experiment with two types of tissues, and the p-values of a proper statistical test are o...
95
Voted
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
In this paper, we consider an M/M/k queueing system with setup costs. Servers are turned off when there is no work to do, but turning on an off server incurs a setup cost. The s...
116
Voted
IGPL
2010
14 years 10 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
127
click to vote
JSAC
2011
14 years 7 months ago
2011
Wireless vehicular ad hoc networks are characterized by multi-hop transmission, where a key problem is the design of routing, e.g., how to efficiently direct the information flo...