6829 search results - page 25 / 1366 » Quantitative Generalizations of Languages |
103
Voted
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
BMCBI
2010
15 years 25 days ago
2010
Background: Quantitative trait locus (QTL) mapping identifies genomic regions that likely contain genes regulating a quantitative trait. However, QTL regions may encompass tens to...
121
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: PCR has the potential to detect and precisely quantify specific DNA sequences, but it is not yet often used as a fully quantitative method. A number of data collection...
105
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem ha...
131
Voted
ICAI
2003
15 years 2 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...