3342 search results - page 321 / 669 » Automating Abstract Interpretation |
141
click to vote
ARTMED
2004
15 years 4 months ago
2004
This paper presents a computer-based decision support system for automated interpretation of diagnostic heart images (called WeAidU), which is made available via the Internet. The...
142
click to vote
ECRA
2002
15 years 4 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
163
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
In Software Product Lines (SPLs), product configuration is a decision-making process in which a group of stakeholders choose features for a product. Unfortunately, current configu...
133
click to vote
NAACL
2010
15 years 2 months ago
2010
In a Wizard-of-Oz experiment with multiple wizard subjects, each wizard viewed automated speech recognition (ASR) results for utterances whose interpretation is critical to task s...
131
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents the results of an empirical study suggesting that, while laughter is a very good indicator of amusement, the kind of laughter (unvoiced laughter vs.voiced laug...