7049 search results - page 327 / 1410 » Data Abstraction for CSP-OZ |
175
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
173
click to vote
ER
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...
172
click to vote
TSD
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
175
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
199
click to vote
ICC
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract—An adaptive multipath decorrelating multiuser receiver is considered for application in Rayleigh fading multipath channels with significant Doppler spread. Coherent div...