4914 search results - page 358 / 983 » Arbitration of a help system |
172
click to vote
SIGMETRICS
1993
ACM
15 years 10 months ago
1993
ACM
: Performance is critical to the success of today’s software systems. However, many software products fail to meet their performance objectives when they are initially constructe...
146
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Assessing air traffic complexity on a mid term horizon can help to timely identify those safety-critical encounter situations that would require many tactical resolution maneuvers ...
206
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
149
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
138
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an intelligent tutoring system, LARGO, that helps students learn skills of legal reasoning with hypotheticals by analyzing oral arguments before the US Suprem...