talks.test

Ripper 分类算法

 'interpretation' 'p_period' 'our' 'methods' 'function' 'for' 'both' 'asynchronous' 'and'
 'synchronous' 'communications' 'p_period' 'from' 'an' 'msc' 'specification' 'we' 'define' 'a'
 'transition' 'system' 'of' 'global' 'states' 'p_comma' 'and' 'from' 'that' 'a' 'buechi' 'automaton'
 'by' 'considering' 'safety' 'and' 'liveness' 'properties' 'of' 'the' 'system' 'p_period' 'we' 'show'
 'how' 'the' 'set' 'of' 'global' 'states' 'and' 'transitions' 'may' 'be' 'interpreted' 'as' 'a'
 'model' 'for' 'temporal' 'logic' 'p_comma' 'and' 'thus' 'how' 'temporal' 'logic' 'formulas' 'may' 'be'
 'used' 'to' 'enhance' 'msc' 'specifications' 'p_period'
,talk_announcement.
 'From_allegra' 'From_p_exclaim_point' 'From_ask' 'From_p_open_paren' 'From_a' 'From_p_period' 'From_s' 'From_p_period' 'From_krishnakumar' 'From_p_close_paren'
 'To_research' 'To_p_exclaim_point' 'To_mischu' 'To_p_comma' 'To_aed' 'To_p_comma' 'To_afek' 'To_p_comma' 'To_dmk' 'To_p_comma' 'To_research' 'To_p_exclaim_point' 'To_alur' 'To_p_comma' 'To_gauss' 'To_p_exclaim_point' 'To_amo' 'To_p_comma' 'To_research' 'To_p_exclaim_point' 'To_bdl' 'To_p_comma'
 'Subject_reminder' 'Subject_p_colon' 'Subject_informal' 'Subject_seminar' 'Subject_stefan' 'Subject_leue' 'Subject_p_comma' 'Subject_universitaet' 'Subject_bern' 'Subject_p_comma' 'Subject_switzerland'
 'reminder' 'p_colon' 'informal' 'seminar' 'stefan' 'leue' 'p_comma' 'universitaet' 'bern' 'p_comma' 'switzerland'
 'p_paragraph'
 'speaker' 'p_colon' 'stefan' 'leue'
 'universitaet' 'bern'
 'switzerland'
 'date' 'p_colon' 'april' '13' 'p_comma' '1993'
 'time' 'p_colon' '2' 'p_colon' '00' 'pm'
 'place' 'p_colon' '6h304'
 'title' 'p_colon' 'the' 'semantics' 'of' 'message' 'sequence' 'charts'
 'p_paragraph'
,talk_announcement.
 'From_ether@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_david' 'From_etherington' 'From_p_close_paren'
 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com' 'To_p_comma' 'To_allegra' 'To_p_exclaim_point' 'To_msgs'
 'Subject_ptelnet' 'Subject_link'
 'ptelnet' 'link'
 'p_paragraph'
 'From_alice' 'From_p_exclaim_point' 'From_ches'
 'From:' 'alice' 'p_exclaim_point' 'ches'
 'returnpath' 'p_colon' '<alice' 'p_exclaim_point' 'ches>'
 'date' 'p_colon' 'tue' 'p_comma' '13' 'apr' '93' '11' 'p_colon' '13' 'edt'
 'apparentlyfrom' 'p_colon' 'alice' 'p_exclaim_point' 'ches'
 'apparentlyto' 'p_colon' '<dbm>' 'p_comma' '<dep>' 'p_comma' '<dlm>' 'p_comma' '<doron>' 'p_comma' '<elsa>' 'p_comma' '<eowyn>' 'p_comma' '<ether>' 'p_comma'
 '<felty>' 'p_comma' '<florent>' 'p_comma' '<fran>' 'p_comma' '<frodo>'
 'p_paragraph'
 'alice' 'news' 'p_colon'
 'p_paragraph'
 'gateway' 'p_open_paren' 'ches' 'p_close_paren' 'tue' 'apr' '13' '10' 'p_colon' '16' 'p_colon' '50' '1993'
 'p_paragraph'
 'the' 'research/ninet' 'datakit' 'link' 'is' 'unusually' 'badly' 'broken' 'p_period' 'ptelnet' 'users'
 'can' 'use' 'the' 'older' 'link' 'with'
 'ptelnet' 'oinet' 'p_exclaim_point' '<outsideaddress>'
 'p_paragraph'
 'rescue' 'operations' 'are' 'continuing' 'p_period'
 'p_paragraph'
 'p_paragraph'
,non_talk_announcement.
 'From_mischu@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_michael' 'From_merritt' 'From_p_close_paren'
 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_talk' 'Subject_by' 'Subject_rob' 'Subject_gerth' 'Subject_p_open_paren' 'Subject_candidate' 'Subject_p_close_paren'
 'talk' 'by' 'rob' 'gerth' 'p_open_paren' 'candidate' 'p_close_paren'
 'p_paragraph'
 'system' 'verification' 'p_colon' 'automated' 'and' 'by' 'hand'
 'p_paragraph'
 'rob' 'gerth'
 'eindhoven' 'university' 'of' 'technology'
 'p_paragraph'
 '1' 'p_colon' '00' 'monday' 'april' '19'
 'mh' '2d416'
 'in' 'this' 'talk' 'i' 'want' 'to' 'discuss' 'some' 'recent' 'topics' 'in' 'my' 'research'
 'in' 'verification' 'p_period' 'the' 'first' 'two' 'topics' 'concern' 'automated'
 'verification' 'p_semi' 'the' 'last' 'one' 'centers' 'on' 'hand' 'verification' 'p_period' 'as' 'the'
 'first' 'two' 'are' 'in' 'collaboration' 'with' 'at' 'p_ampersand' 't' 'researchers' 'p_comma' 'i' 'shall'
 'p_open_paren' 'probably' 'p_close_paren' 'concentrate' 'on' 'the' 'latter' 'topic' 'p_period'
 'p_paragraph'
 'generating' 'minimal' 'models' 'for' 'actl^*'
 'the' 'main' 'bottleneck' 'for' 'model' 'checking' 'is' 'the' 'size' 'of' 'such'
 'models' 'p_period' 'whence' 'p_comma' 'the' 'recent' 'interest' 'in' 'generating' 'minimal' 'p_comma'
 'abstract' 'models' 'that' 'describe' 'a' 'system' 'in' 'precisely' 'enough' 'detail'
 'to' 'check' 'the' 'properties' 'that' 'one' 'is' 'interested' 'in' 'p_period' 'i' 'shall'
 'discuss' 'algorithms' 'for' 'generating' 'minimal' 'models' 'for' 'checking'
 'actl^*' 'p_comma' 'the' 'universal' 'fragment' 'of' 'ctl^*' 'and' 'containing' 'ltl' 'p_comma' 'and'
 'for' 'checking' 'p_open_paren' 'finite' 'p_close_paren' 'sets' 'of' 'actlformulae' 'p_period'
 'p_paragraph'
 'incremental' 'model' 'checking'
 'most' 'model' 'checking' 'tools' 'are' 'batch' 'oriented`' 'p_colon' 'one' '`compiles'
 'the' 'system' 'to' 'be' 'verified' 'in' 'order' 'to' 'generate' 'a' 'model' 'p_semi' 'this'
 'model' 'is' 'then' 'model' 'checked' 'p_open_paren' 'sometimes' 'the' 'two' 'phases' 'are'
 'merged' 'p_close_paren' 'p_period' 'if' 'the' 'model' 'does' 'not' 'validate' 'the' 'specification' 'p_comma' 'one'
 'goes' 'back' 'to' 'the' 'program' 'p_comma' 'changes' 'it' 'and' 'compiles' 'it' 'again' 'p_comma' 'etc' 'p_period'
 'a' 'first' 'step' 'towards' 'more' 'interactive' 'verification' 'environments'
 'is' 'to' 'construct' '`incremental' 'model' 'checking' 'algorithms' 'p_comma' 'so' 'that'
 'if' 'the' 'program' 'is' 'changed' 'p_comma' 'information' 'obtained' 'from' 'a' 'previous'
 'model' 'check' 'is' 'reused' 'p_period' 'i' 'shall' 'discuss' 'how' 'the' '`classical' 'ctl'
 'model' 'checking' 'procedure' 'can' 'be' 'made' 'incremental' 'p_period'
 'p_paragraph'
 'interface' 'refinement' 'and' 'distributed' 'shared' 'memory'
 'interface' 'refinement' 'is' 'a' 'general' 'method' 'for' 'proving' 'system'
 'refinement' 'even' 'if' 'the' 'behavior' 'on' 'the' 'interface' 'of' 'the' 'systems'
 'changes' 'p_period' 'shared' 'memory' 'in' 'distributed' 'systems' 'behaves'
 'differently' 'from' 'standard' 'shared' 'memory' 'p_comma' 'as' 'the' 'latter' 'type' 'of'
 'memory' 'would' 'impose' 'too' 'stringent' 'synchronization' 'constraints' 'on'
 'the' 'distributed' 'system' 'p_period' 'the' 'prototypical' 'weaker' 'property' 'that'
 'distributed' 'shared' 'memory' 'satisfies' 'is' 'that' 'of' 'sequential'
 'consistency' 'p_period' 'distributed' 'shared' 'memory' 'can' 'be' 'viewed' 'as' 'an'
 'interface' 'refinement' 'of' 'standard' 'shared' 'memory' 'and' 'i' 'shall' 'show'
 'how' 'the' '`lazy' 'caching' 'protocol' 'of' 'merritt' 'et' 'al' 'can' 'be' 'verified'
 'using' 'interface' 'refinement' 'techniques' 'p_period'
 'p_paragraph'
 'host' 'p_colon' 'michael' 'merritt'
,talk_announcement.
 'From_rjb@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_ron' 'From_brachman' 'From_p_close_paren'
 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_summer' 'Subject_student' 'Subject_needs' 'Subject_room'
 'summer' 'student' 'needs' 'room'
 'p_paragraph'
 'charles' 'isbell' 'p_comma' 'one' 'of' 'our' 'crfp' 'fellows' 'p_comma' 'will' 'be' 'here' 'this' 'summer' 'p_period' 'he'
 'seems' 'to' 'be' 'situated' 'after' 'may' '31' 'p_comma' 'but' 'needs' 'a' 'room' 'somewhere' 'from' 'may'
 '10' 'through' 'the' '31st' 'p_period' 'does' 'anyone' 'have' 'a' 'room' 'they' 'would' 'like' 'to' 'rent'
 'out' 'for' 'that' 'period' 'p_question'
 'p_paragraph'
 'thanks' 'p_period'
,non_talk_announcement.
 'From_pjw' 'From_p_open_paren' 'From_peter' 'From_j' 'From_p_period' 'From_weinberger' 'From_p_close_paren'
 'To_msgs'
 'p_paragraph'
 'p_paragraph'
 'does' 'someone' 'have' 'a' 'powerbook' 'p_open_paren' 'mac' 'portable' 'p_close_paren'
 'they' 'could' 'lend' 'me' 'for' 'a' 'day' 'or' 'two' 'p_question'
,non_talk_announcement.
 'From_premkumar' 'From_devanbu' 'From_<prem@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com>'
 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_video' 'Subject_link' 'Subject_fixed'
 'video' 'link' 'fixed'
 'p_paragraph'
 'excerpts' 'from' 'mail' 'p_colon' '14apr93' 're' 'p_colon' 'mike' 'on' 'the' 'videol' 'ink' 'chris'
 'colwell@research' 'p_period' 'a' 'p_open_paren' '419' 'p_close_paren'
 'p_paragraph'
 '>' 'i' 'received' 'mail' 'this' 'morning' 'from' 'marilyn' 'ferber' 'saying'
 '>' 'this' 'audio' 'problem' 'had' 'been' 'fixed' 'p_period' 'it' 'turns' 'out' 'the' 'ih' 'side'
 '>' 'was' 'not' 'working' 'p_period' 'we' 'originally' 'thought' 'it' 'was' 'the' 'mh' 'end' 'p_comma' 'but'
 '>' 'when' 'i' 'called' 'mh' 'telecommunications' 'p_comma' 'i' 'was' 'able' 'to' 'connect' 'to'
 '>' 'their' 'pictel' 'unit' 'and' 'they' 'could' 'hear' 'me' 'fine' 'p_period' 'we' 'then' 'called'
 '>' 'ih' 'and' 'they' 'couldnt' 'hear' 'me' 'p_period' 'so' 'we' 'decided' 'it' 'was' 'the' 'ih' 'side'
 '>' 'that' 'was' 'broken' 'p_period' 'i' 'believe' 'that' 'has' 'been' 'fixed' 'p_period'
 'p_paragraph'
 'p_paragraph'
 'p_paragraph'
,non_talk_announcement.
 'From_dbm@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_dave' 'From_macqueen' 'From_p_close_paren'
 'To_pjw@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_powerbook'
 'powerbook'
 'p_paragraph'
 'i' 'have' 'one' 'you' 'can' 'borrow' 'p_period'
,non_talk_announcement.
 'From_ether@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_david' 'From_etherington' 'From_p_close_paren'
 'To_11262@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com' 'To_p_comma' 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com' 'To_p_comma' 'To_allegra' 'To_p_exclaim_point' 'To_msgs'
 'Subject_eo' 'Subject_talk'
 'eo' 'talk'
 'p_paragraph'
 'p_paragraph'
 'p_paragraph'
 'personal' 'communicators' 'todays' 'reality'
 '4/14' 'p_comma' '3' 'p_colon' '00' 'pm' 'p_comma' 'mh' 'auditorium'
 'p_paragraph'
 'personnel' 'from' 'eo' 'p_comma' 'inc' 'will' 'present' 'the' 'talk' 'and'
 'a' 'demonstration' 'will' 'also' 'be' 'provided' 'p_period'
 'p_paragraph'
 'p_open_paren' 'from' 'mh' 'this' 'week' 'p_period' 'p_close_paren'
,talk_announcement.
 'From_pgs@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_peter' 'From_g' 'From_p_period' 'From_selfridge' 'From_p_close_paren'
 'To_11261@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com' 'To_p_comma' 'To_11262@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com' 'To_p_comma' 'To_11264@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_talk' 'Subject_by' 'Subject_dave' 'Subject_long'
 'talk' 'by' 'dave' 'long'
 'p_paragraph'
 'talk' 'announcement'
 'p_paragraph'
 'monday' 'p_comma' 'may' '3' 'p_comma' '1993'
 '11' 'p_colon' '00' 'am'
 'room' '2b432'
 'p_paragraph'
 'p_paragraph'
 'the' '5ess' 'software' 'design' 'process' 'and' 'some'
 'opportunities' 'for' 'improvement'
 'p_paragraph'
 'dave' 'long'
 'dept' 'p_period' 'na5140b00' 'p_comma' 'ih'
 'p_paragraph'
 'abstract'
 'p_paragraph'
 '5ess' 'software' 'design' 'has' 'changed' 'dramatically' 'in' 'the' 'last' '4' 'years' 'p_comma'
 'primarily' 'as' 'a' 'result' 'of' 'a' 'new' 'process' 'orientation' 'at' 'all' 'levels' 'of' 'the'
 'company' 'p_period' 'this' 'talk' 'will' 'describe' 'this' 'orientation' 'for' 'software' 'design' 'p_comma'
 'the' 'advantages' 'and' 'opportunities' 'it' 'facilitates' 'p_comma' 'and' 'some' 'current' 'open'
 'problems' 'in' 'software' 'design' 'p_period'
 'p_paragraph'
 'p_paragraph'
 'please' 'contact' 'peter' 'selfridge' 'p_comma' 'x6801' 'p_comma' 'research' 'p_exclaim_point' 'pgs' 'if' 'youd' 'like' 'to'
 'talk' 'to' 'dave' 'while' 'hes' 'here' 'p_period'
,talk_announcement.
 'From_tk@research' 'From_p_period' 'From_att' 'From_p_period' 'From_com' 'From_p_open_paren' 'From_thomas' 'From_kirk' 'From_p_close_paren'
 'To_msgs@research' 'To_p_period' 'To_att' 'To_p_period' 'To_com'
 'Subject_internet' 'Subject_gopher'
 'internet' 'gopher'
 'p_paragraph'
 'ive' 'put' 'an' 'internet' 'browser' 'called' 'gopher' 'in' '/usr/local/bin' 'p_open_paren' 'on' 'sun' 'p_comma' 'mips' 'p_comma' 'sgi' 'p_close_paren' 'p_period'
 'it' 'has' 'a' 'simple' 'ttybased' 'user' 'interface' 'p_period' 'this' 'gopher' 'client' 'has' 'been' 'modified'
 'to' 'use' 'our' 'proxy' 'internet' 'gateway' 'p_semi' 'by' 'default' 'it' 'uses' 'the' 'server' 'p_quote' 'proxy' 'p_quote' 'p_comma' 'which' 'can'
 'be' 'overridden' 'by' 'setting' 'the' 'shell' 'environment' 'variable' 'proxy' 'p_open_paren' 'i' 'p_period' 'e' 'p_period' 'if' 'the' 'default'