3775 search results - page 750 / 755 » The Expression Problem Revisited |
140
Voted
ICTAI
2010
IEEE
15 years 20 days 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...
109
Voted
AMSTERDAM
2009
15 years 17 days 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...
134
Voted
FLAIRS
2009
15 years 16 days 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...
166
click to vote
HIPC
2009
Springer
15 years 15 days 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...
147
Voted
ICTAC
2009
Springer
15 years 14 days 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...