883 search results - page 26 / 177 » The Semantics of Verilog Using Transition System Combinators |
ALPIT
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we systematically explore the use of semantic roles in coreference resolution. Here, the semantic roles are automatically determined using a state-of-the-art SRL sy...
AAAI
2007
13 years 11 months ago
2007
The ASKNet system is an attempt to automatically generate large scale semantic knowledge networks from natural language text. State-of-the-art language processing tools, including...
DEXAW
2004
IEEE
14 years 22 days ago
2004
IEEE
In this paper, we demonstrate the use of the ESTEST system, which combines the data integration approach with techniques from Information Extraction in order to allow information ...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the approaches used by the MIRACLE team to image retrieval at ImageCLEF 2005. Text-based and content-based techniques have been tested, along with combination o...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...