1699 search results - page 44 / 340 » On the Expressive Power of QLTL |
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The linear lambda calculus is very weak in terms of expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension ...
BMCBI
2010
15 years 24 days ago
2010
Background: Before conducting a microarray experiment, one important issue that needs to be determined is the number of arrays required in order to have adequate power to identify...
CORR
2004
Springer
15 years 15 days ago
2004
Springer
The development of autonomous molecular computers capable of making independent decisions in vivo regarding local drug administration may revolutionize medical science. Recently B...
118
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
104
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper is concerned with decentralized estimation of a Gaussian source using multiple sensors. We consider a diversity scheme where only the sensor with the best channel sends...