34181 search results - page 264 / 6837 » The Computer System GRAPHOGRAPH |
JVA
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
Finding motifs — patterns of conserved residues — within nucleotide and protein sequences is a key part of understanding function and regulation within biological systems. Thi...
DATE
2000
IEEE
15 years 3 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
ACL
2012
13 years 1 months ago
2012
In this paper, we propose a computational approach to generate neologisms consisting of homophonic puns and metaphors based on the category of the service to be named and the prop...
83
Voted
ISBI
2008
IEEE
15 years 12 months ago
2008
IEEE
Clinical translation of stem cell research promises to revolutionize medicine. Challenges remain toward better understanding of stem cell biology and cost-effective strategies for...