Sciweavers

1033 search results - page 4 / 207
» Properties of Exercise Strategies
Sort
View
AI
2010
Springer
14 years 10 months ago
Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies
We consider soft constraint problems where some of the preferences may be unspecified. This models, for example, settings where agents are distributed and have privacy issues, or ...
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...
TOCL
2010
48views more  TOCL 2010»
14 years 8 months ago
Deciding strategy properties of contract-signing protocols
Detlef Kähler, Ralf Küsters, Thomas Wilk...
EMSOFT
2008
Springer
14 years 11 months ago
Active property checking
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
Patrice Godefroid, Michael Y. Levin, David A. Moln...
JAIR
2007
159views more  JAIR 2007»
14 years 9 months ago
Combination Strategies for Semantic Role Labeling
This paper introduces and analyzes a battery of inference models for the problem of semantic role labeling: one based on constraint satisfaction, and several strategies that model...
Mihai Surdeanu, Lluís Màrquez, Xavie...
61
Voted
SIGCSE
2008
ACM
138views Education» more  SIGCSE 2008»
14 years 9 months ago
Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies
A qualitative analysis of debugging strategies of novice Java programmers is presented. The study involved 21 CS2 students from seven universities in the U.S. and U.K. Subjects &q...
Laurie Murphy, Gary Lewandowski, Renée McCa...