3951 search results - page 544 / 791 » Automatic amortized analysis |
166
click to vote
JSS
2002
15 years 6 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
163
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
176
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
Abstract—Many peer-to-peer file sharing communities implement credit policies to incentivise users to contribute upload resources. Such policies implicitly assume a user model -...
218
click to vote
JOT
2010
15 years 5 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
145
click to vote
MTA
2010
15 years 5 months ago
2010
In order to analyse surveillance video, we need to efficiently explore large datasets containing videos of walking humans. At survei llance-image resolution, the human walk (their ...