315 search results - page 8 / 63 » Using Logic in the Generation of Referring Expressions |
OOPSLA
2005
Springer
15 years 2 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
139
click to vote
POPL
2011
ACM
14 years 8 days ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
ISCAS
2008
IEEE
15 years 3 months ago
2008
IEEE
— A precision integrated bandgap voltage reference in 0.35μm CMOS technology is here presented. The circuit uses natural npn bipolar transistors as reference diodes. A particula...
BMCBI
2010
14 years 9 months ago
2010
Background: The development of DNA microarrays has facilitated the generation of hundreds of thousands of transcriptomic datasets. The use of a common reference microarray design ...
BMCBI
2007
14 years 9 months ago
2007
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...