950 search results - page 25 / 190 » Machine semantics |
119
click to vote
CORR
2010
Springer
15 years 2 months 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...
149
Voted
IAT
2010
IEEE
15 years 12 days 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...
127
Voted
ATVA
2006
Springer
15 years 6 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...
143
Voted
WWW
2004
ACM
16 years 3 months 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...
100
click to vote
AAAI
2008
15 years 4 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...