5630 search results - page 70 / 1126 » Computability in Specification |
ENTCS
2006
13 years 10 months ago
2006
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
TSD
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we introduce two ideas for phoneme classification: First, we derive the necessary steps to integrate linear transform into the computation of reproducing ke...
FAC
2008
13 years 10 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
JIB
2006
13 years 10 months ago
2006
Alternative splicing is one of the most important mechanisms to generate a large number of mRNA and protein isoforms from a small number of genes. Its study became one of the hot ...