5683 search results - page 866 / 1137 » Interactive Schedulability Analysis |
170
Voted
STOC
1995
ACM
15 years 10 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
175
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...
183
click to vote
WSC
2008
15 years 9 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
180
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
192
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
Exploratory data mining is fundamental to fostering an appreciation of complex datasets. For large and continuously growing datasets, such as obtained by regular sampling of an or...