Sciweavers

146 search results - page 16 / 30
» The Chinese Aspect Generation Based on Aspect Selection Func...
Sort
View
COR
2006
62views more  COR 2006»
13 years 8 months ago
Optimal batting orders in one-day cricket
This paper concerns the search for optimal or nearly optimal batting orders in one-day cricket. A search is conducted over the space of permutations of batting orders where simula...
Tim B. Swartz, Paramjit S. Gill, David Beaudoin, B...
IAT
2007
IEEE
14 years 2 months ago
Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
Leila Amgoud, Henri Prade
MBEES
2008
13 years 10 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
ISSTA
1989
ACM
14 years 15 days ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
LREC
2008
90views Education» more  LREC 2008»
13 years 10 months ago
Revealing Relations between Open and Closed Answers in Questionnaires through Text Clustering Evaluation
Open answers in questionnaires contain valuable information that is very time-consuming to analyze manually. We present a method for hypothesis generation from questionnaires base...
Magnus Rosell, Sumithra Velupillai