3775 search results - page 750 / 755 » The Expression Problem Revisited |
120
click to vote
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
91
Voted
AMSTERDAM
2009
14 years 10 months ago
2009
The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), e.g., Exactly three boys saw exactly five m...
119
Voted
FLAIRS
2009
14 years 10 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
144
click to vote
HIPC
2009
Springer
14 years 10 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
122
click to vote
ICTAC
2009
Springer
14 years 10 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...