Sciweavers

6794 search results - page 399 / 1359
» Semantics of Visual Languages
Sort
View
MEMOCODE
2010
IEEE
15 years 4 months ago
A formal executable semantics of Verilog
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
Patrick O'Neil Meredith, Michael Katelman, Jos&eac...
EMNLP
2009
15 years 4 months ago
Simple Coreference Resolution with Rich Syntactic and Semantic Features
Coreference systems are driven by syntactic, semantic, and discourse constraints. We present a simple approach which completely modularizes these three aspects. In contrast to muc...
Aria Haghighi, Dan Klein
EMNLP
2009
15 years 4 months ago
Unsupervised Semantic Parsing
We present the first unsupervised approach to the problem of learning a semantic parser, using Markov logic. Our USP system transforms dependency trees into quasi-logical forms, r...
Hoifung Poon, Pedro Domingos
ICIW
2009
IEEE
16 years 1 months ago
Ontology-Based Translation of Business Process Models
Semantic Business Process Management is a recent and promising research area devoted to extending the results from Semantic Web Services — i.e., the application of ontology-base...
Barry Norton, Liliana Cabral, Jörg Nitzsche
LREC
2008
102views Education» more  LREC 2008»
15 years 8 months ago
Towards a Vector Space Model for FrameNet-like Resources
In this paper, we present an original framework to model frame semantic resources (namely, FrameNet) using minimal supervision. This framework can be leveraged both to expand an e...
Marco Pennacchiotti, Diego De Cao, Paolo Marocco, ...