883 search results - page 53 / 177 » The Semantics of Verilog Using Transition System Combinators |
HOLOMAS
2007
Springer
14 years 3 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
ECSQARU
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
TCS
2008
13 years 9 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
ACL
1992
13 years 10 months ago
1992
This paper describes a natural language processing system reinforced by the use of association of words and concepts, implemented as a neural network. Combining an associative net...
AMR
2006
Springer
14 years 1 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...