3082 search results - page 437 / 617 » Deviation Analysis: A New Use of Model Checking |
165
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We introduce MySong, a system that automatically chooses chords to accompany a vocal melody. A user with no musical experience can create a song with instrumental accompaniment ju...
186
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
146
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
Recently, several studies have analyzed the statistical properties of low power wireless links in real environments, clearly demonstrating the differences between experimentally o...
159
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
165
click to vote
PDP
2007
IEEE
16 years 20 days ago
2007
IEEE
The success of groupware software largely depends on its capability for being reused in different collaborative scenarios without requiring significant software development effort...