883 search results - page 156 / 177 » The Semantics of Verilog Using Transition System Combinators |
SIGMOD
2010
ACM
13 years 9 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
ENGL
2006
13 years 9 months ago
2006
Recently, there has been a growth in the amount of machine readable information pertaining to the biomedical field. With this growth comes a desire to be able to extract informati...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
WEBI
2010
Springer
13 years 6 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL web pages. Some of these pages are static text files, while others are dynamically generated from la...