We introduce a browser evaluation test (BET), and describe a trial run application of the test. BET is a method for assessing meeting browser performance using the number of obser...
Pierre Wellner, Mike Flynn, Simon Tucker, Steve Wh...
This paper introduces a novel multiagent learning algorithm, Convergence with Model Learning and Safety (or CMLeS in short), which achieves convergence, targeted optimality agains...
Although two-color uorescent DNA microarrays are now standard equipment in many molecular biology laboratories, methods for identifying differentially expressed genes in microarra...
Trey Ideker, Vesteinn Thorsson, Andrew F. Siegel, ...
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Abstract. The amygdala has repeatedly been involved in the processing of emotional reactions and conditioning. This paper presents a neurobiologically inspired computational model ...