578 search results - page 73 / 116 » A Logic Programming Based Approach to QA@CLEF05 Track |
123
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper considers a portfolio selection problem with type-2 fuzzy future returns involving ambiguous and subjectivity. Since this proposed problem is not well-defined due to fuz...
151
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
137
click to vote
AICOM
2010
15 years 4 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
129
click to vote
AIEDU
2007
15 years 4 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
153
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...