3241 search results - page 466 / 649 » Challenges for Dataset Search |
155
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
233
click to vote
IPM
1998
15 years 6 months ago
1998
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...
154
click to vote
TASLP
2002
15 years 6 months ago
2002
Abstract--In this paper, we report on the performance of automatic speech recognition (ASR) systems on voicemail transcription. Voicemail is spontaneous telephone speech recorded o...
161
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper proposes an address compression technique for load/store queue (LSQ) to improve the scalability and power efficiency. A load/store queue (LSQ) typically needs a fullyas...
212
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...