8627 search results - page 1353 / 1726 » Software Engineering Using RATionale |
224
click to vote
TASLP
2011
15 years 1 months ago
2011
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
193
click to vote
CLEF
2005
Springer
16 years 13 days ago
2005
Springer
We present four approaches to the Amharic - French bilingual track at CLEF 2005. All experiments use a dictionary based approach to translate the Amharic queries into French Bags-...
241
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
239
click to vote
PROMISE
2010
15 years 1 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This work aims a two-fold contribution: it presents a software to analyse logfiles and visualize popular web hot spots and, additionally, presents an algorithm to use this informa...