1433 search results - page 183 / 287 » An approach to detecting failures automatically |
195
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...
150
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....
199
click to vote
ADC
2008
Springer
15 years 8 months ago
2008
Springer
Automatic real-time recognition of TV commercials is an essential step for TV broadcast monitoring. It comprises two basic tasks: rapid detection of known commercials that are sto...
176
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
The user experience for networked applications is becoming a key benchmark for customers and network providers. Perceived user experience is largely determined by the frequency, d...