Process Extraction in an Abstract Logic of Events [1/2]

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=75c5H9zZoQQ


Category:
Vlog
Duration: 1:04:11
21 views
1

In 2003 Mark Bickford and I defined and formalized a logic of events for specifying distributed computing tasks and for reasoning about distributed systems.  The Logic of Events is a very abstract account of distributed computing that applies to biological processes as well as to processes in an asynchronous message passing network computing model. Although the logic is very abstract, we can show that it is not



Other Videos By Microsoft Research


2016-09-06Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity
2016-09-06Approximate inference techniques for optimal design in self-assembly and automated programming
2016-09-06Machine Learning Methods for Structured and Collective Classification
2016-09-06Communication Technology: Interruption and Overload
2016-09-06ParaEval: Using Paraphrases to Improve Machine Translation and Summarization Evaluations
2016-09-06Rethinking Processor and System Architecture
2016-09-06Crashing the Gate: Netroots, Grassroots, and the Rise of People-Powered Politics
2016-09-06Improving Routing Scalability through Mobile Geographic Hashing in MANETs
2016-09-06The Semantic Web: Myth and Reality
2016-09-06Learnable Similarity Functions and Their Applications in Information Integration and Clustering
2016-09-06Process Extraction in an Abstract Logic of Events [1/2]
2016-09-06Billions: Selling to the New Chinese Consumer
2016-09-06Conditional Models for Combining Diverse Knowledge Sources in Information Retrieval
2016-09-06Scalable Automated Methods for Software Reliability
2016-09-06Naked Conversations: How blogs are changing the Way businesses Talk with Customers
2016-09-06Natural Scene Categorization in Humans and Computers
2016-09-06Pair Programming Re-Design
2016-09-06An Interface to Support Multi-faceted Information Seeking and Targeted Relevance Feedback
2016-09-06Dependable Messaging in Sensor Networks
2016-09-06Discriminative Graphical Models for Structured Data Prediction
2016-09-06Dealing with data: classification, clustering and ranking


Tags:
microsoft research