950 search results - page 25 / 190 » Machine semantics |
CORR
2010
Springer
15 years 11 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
126
click to vote
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
Representing web data into a machine understandable format is a curtail task for the next generation of the web. Most of current web pages are dynamic pages. A large percentage of...
110
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
123
click to vote
WWW
2004
ACM
16 years 29 days ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...
AAAI
2008
15 years 2 months ago
2008
In this paper, we propose a machine learning-based NLP system for automatically creating animated storyboards using the action descriptions of movie scripts. We focus particularly...