6794 search results - page 547 / 1359 » Semantics of Visual Languages |
157
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
218
click to vote
SIGMOD
2005
ACM
16 years 18 days ago
2005
ACM
Integrating enterprise information requires an accurate, precise and complete understanding of the disparate data sources, the needs of the information consumers, and how these ma...
200
click to vote
RULEML
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
182
click to vote
SEKE
2004
Springer
16 years 12 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
243
click to vote
EPIA
2003
Springer
16 years 8 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...