3718 search results - page 129 / 744 » IMPS: System Description |
170
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...
162
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
171
click to vote
SIMPRA
1998
15 years 6 months ago
1998
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...
234
click to vote
DLOG
2011
14 years 10 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
230
click to vote
JDCTA
2010
15 years 1 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...